internlm/Lean-Workbook download history

internlm/Lean-Workbook is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 2,496 times (240 in the last 7 days), and 20,215 times in total. It ranks #9,574 among datasets by monthly downloads.

Lean Workbook This dataset is about contest-level math problems formalized in Lean 4. Our dataset contains 57231 problems in the split of Lean Workbook and 82893 problems in the split of Lean Workbook Plus. We provide the natural language statement, answer, formal statement, and formal pr

Models trained on Lean-Workbook

29 models list it as training data.

Open internlm/Lean-Workbook on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.