InternLM/InternLM-Math

Issues

• Release of REPL

  #45 opened 2 months ago by DDDOH
  0

• The Lean 4 read-eval-print loop (REPL)

  #31 opened 6 months ago by karlcuinju
  5

• How to reproduce the results on ProofNet

  #44 opened 2 months ago by Car-pe
  0

• How to set the prompt when trying to get the first line of proof

  #43 opened 2 months ago by bhwangfy
  3

• Kindly ask about the size of lean-workbook

  #41 opened 2 months ago by freyaya123
  4

• About critic-guide search in InternLM2.5-StepProver

  #42 opened 2 months ago by LuoKaiGSW
  6

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

  #40 opened 4 months ago by yyyhz
  2

• Regarding the proofs (and theorems) in Lean-Github

  #39 opened 4 months ago by yyyhz
  1

• How to display a formal data set correctly

  #38 opened 5 months ago by yyyhz
  1

• Can InternLM2-Step-Prover be used to solve MATH or GMS8K with Lean?

  #37 opened 5 months ago by yyyhz
  3

• how to get complete proofs from the LEAN-GitHub dataset

  #36 opened 5 months ago by LuoKaiGSW
  2

• Was InternLM2-Math-Plus trained on Lean-Workbook?

  #34 opened 6 months ago by realharryhero
  2

• Impact of additional_imports on MiniF2F

  #33 opened 6 months ago by njuyxw
  2

• InternLM2-Math-Plus-7B evaluation on math only get 5.06% accuracy?

  #24 opened 6 months ago by LesterGong
  11

• Model evaluation on minif2f fails?

  #22 opened 7 months ago by Lagooon
  18

• Regarding the proofs (and theorems) in Lean-WorkBook

  #30 opened 7 months ago by realharryhero
  10

• Relation between InternLM2-Math-Plus-20B and Lean Workbook SFT Model

  #32 opened 6 months ago by withwsf
  3

• About augmentation with Change specific numbers.

  #9 opened 9 months ago by ChengpengLi1003
  1

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

  #10 opened 9 months ago by zhhongzhi
  1

• Suggestion for Official Releases of LLMs: Include Quantized Versions

  #17 opened 7 months ago by epochaudio
  1

• released data?

  #19 opened 7 months ago by yucc-leon
  2

• FileNotFoundError: [Errno 2] No such file or directory: 'configuration_internlm2.py'

  #16 opened 7 months ago by imaginistLi
  1

• Can you offer the RICO chat template that enables code interpretation?

  #20 opened 7 months ago by HarrytheOrange
  2

• Suggestion

  #18 opened 7 months ago by yuanjunchai
  2

• Performance on Minif2f-valid

  #11 opened 7 months ago by heyubox
  2

• SentencePieceExtractor extract argument error

  #3 opened a year ago by mapleque
  4

• Inquiry About Performance on the miniF2F Test Set

  #1 opened a year ago by tangzhy
  2

• pjlab同行希望和作者进一步讨论

  #4 opened a year ago by malloc-realloc
  0