Issues

• 23 Lean Workbook statements with a phantom-variable (binder-escape) defect

  InternLM/InternLM-Math#49 · Filter by author fabio-rovai opened on Sep 13, 2026

• opencompass版本

  InternLM/InternLM-Math#47 · Filter by author Castrol68 opened on Feb 12, 2025
  1

• critic model on multiple goals

  InternLM/InternLM-Math#46 · Filter by author efessas opened on Dec 30, 2024
  2

• Release of REPL

  InternLM/InternLM-Math#45 · Filter by author DDDOH opened on Nov 21, 2024

• How to reproduce the results on ProofNet

  InternLM/InternLM-Math#44 · Filter by author Car-pe opened on Nov 15, 2024

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

  InternLM/InternLM-Math#40 · Filter by author yyyhz opened on Sep 20, 2024
  2

• Impact of additional_imports on MiniF2F

  InternLM/InternLM-Math#33 · Filter by author njuyxw opened on Jun 29, 2024
  2

• Model evaluation on minif2f fails?

  InternLM/InternLM-Math#22 · Filter by author Lagooon opened on Jun 3, 2024
  18

• Suggestion for Official Releases of LLMs: Include Quantized Versions

  wontfix
  InternLM/InternLM-Math#17 · Filter by author epochaudio opened on May 28, 2024
  1

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

  wontfix
  InternLM/InternLM-Math#10 · Filter by author zhhongzhi opened on Apr 23, 2024
  1

• About augmentation with Change specific numbers.

  wontfix
  InternLM/InternLM-Math#9 · Filter by author ChengpengLi1003 opened on Mar 26, 2024
  1