All issues

Search results

opencompass版本

Status: Open.

#47In InternLM/InternLM-Math;

· Castrol68 opened on Feb 12, 2025

critic model on multiple goals

Status: Open.

#46In InternLM/InternLM-Math;

· efessas opened on Dec 30, 2024

Release of REPL

Status: Open.

#45In InternLM/InternLM-Math;

· DDDOH opened on Nov 21, 2024

How to reproduce the results on ProofNet

Status: Open.

#44In InternLM/InternLM-Math;

· Car-pe opened on Nov 15, 2024

Is the proof included in the Lean-workbook ensured to be correct?

Status: Open.

#40In InternLM/InternLM-Math;

· yyyhz opened on Sep 20, 2024

Impact of additional_imports on MiniF2F

Status: Open.

#33In InternLM/InternLM-Math;

· njuyxw opened on Jun 29, 2024

Model evaluation on minif2f fails?

Status: Open.

#22In InternLM/InternLM-Math;

· Lagooon opened on Jun 3, 2024

Suggestion for Official Releases of LLMs: Include Quantized Versions

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#17In InternLM/InternLM-Math;

· epochaudio opened on May 28, 2024

Really great work, looking forward to the releasing of training data.

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#10In InternLM/InternLM-Math;

· zhhongzhi opened on Apr 23, 2024

About augmentation with Change specific numbers.

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#9In InternLM/InternLM-Math;

· ChengpengLi1003 opened on Mar 26, 2024