Content
@
0 reply
0 recast
0 reaction
ππͺπΎπ‘π‘πΎ
@gm8xx8
InternLM shared Step Prover 7Bβ(SoTA) on Lean. -trained on github repositories with large-scale formal data. -released the dataset, tech report, and the fine-tuned InternLM math and model checkpoint. https://huggingface.co/internlm/internlm2-step-prover
0 reply
0 recast
1 reaction