banach1729/goedel-workbook-lean427 download history
banach1729/goedel-workbook-lean427 is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 1,335 times (123 in the last 7 days), and 7,736 times in total. It ranks #15,566 among datasets by monthly downloads.
Goedel Workbook Proofs — Lean 4.27 29,750 competition-math proofs from Goedel-LM/Lean-workbook-proofs, migrated from Lean 4.8 to Lean 4.27.0 / Mathlib v4.27.0. The original proofs were generated by DeepSeek-Prover-V1.5 against the Lean Workbook problem set. Quick Stats