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 the proof, if available prompt string \ null Generation prompt, if available Stats Records: 6,804,694 Files: 73 parquet shards (zstd compressed) Loading
We use cookies for essential functionality and analytics. You can accept or reject analytics cookies.Cookie policy