m-a-p/OProofs download history
m-a-p/OProofs is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 5,627 times (1,275 in the last 7 days), and 29,226 times in total. It ranks #5,165 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
Models trained on OProofs
13 models list it as training data.
- mradermacher/OProver-32B-GGUF 718 downloads in 30 days
- mradermacher/OProver-8B-GGUF 573 downloads in 30 days
- mradermacher/OProver-32B-Base-GGUF 374 downloads in 30 days
- mradermacher/OProver-8B-Base-GGUF 367 downloads in 30 days
- m-a-p/OProver-8B 198 downloads in 30 days
- introvoyz042/OProver-8B 146 downloads in 30 days
- m-a-p/OProver-32B 116 downloads in 30 days
- introvoyz042/OProver-32B 109 downloads in 30 days
- m-a-p/OProver-8B-Base 30 downloads in 30 days
- m-a-p/OProver-32B-Base 21 downloads in 30 days
- m-a-p/OProver-8B-Round2 17 downloads in 30 days
- m-a-p/OProver-32B-Round1 16 downloads in 30 days
Open m-a-p/OProofs on Hugging Face
Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.