OProver/OProofs download history
OProver/OProofs is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 505 times (319 in the last 7 days), and 1,293 times in total. It ranks #32,882 among datasets by monthly downloads.
OProofs Formal Lean 4 theorem-proof pairs produced as part of the OProver project. Fields Field Type Description formal_statement string Lean 4 theorem statement formal_proof string Lean 4 proof body cot_proof string | null Chain-of-thought reasoning preceding th