eaeasee/Lean-Github

我们发布了Lean-Github和InternLM2-Step-Prover，其中包含从100多个Lean 4代码库中编译的29K个定理，以及一个在Lean-Github和Lean-Workbook上微调的7B模型，该模型在MiniF2F-test（54.5%）、ProofNet（18.1%）和Putnam（5个问题）上取得了最先进的性能。We release Lean-Github and InternLM2-Step-Prover with 29K theorems compiled from 100+ Lean 4 repos and a 7B models fine-tuned on Lean-Github and Lean-Workbook with SOTA performance on MiniF2F-test (54.5%), ProofNet (18.1%), and Putnam (5 problems).