Goedel-LM/Lean-workbook-proofs download history
Goedel-LM/Lean-workbook-proofs is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,003 times (187 in the last 7 days), and 10,978 times in total. It ranks #19,273 among datasets by monthly downloads.
This is the 29.7 solutions of Lean-workbook found by Goedel-Prover-SFT. Citation @misc{lin2025goedelproverfrontiermodelopensource, title={Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving}, author={Yong Lin and Shange Tang and Bohan Lyu and Jiayun Wu a