liuchengwu/discover-and-prove download history

liuchengwu/discover-and-prove is a text generation dataset on the Hugging Face Hub. In the last 30 days it was downloaded 354 times (222 in the last 7 days), and 528 times in total. It ranks #43,214 among datasets by monthly downloads.

MiniF2F-Hard & FIMO-Hard Expert-reannotated Hard Mode variants of the MiniF2F and FIMO theorem-proving benchmarks, released with our paper Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 (ACL 2026). In Hard Mode, the final answer

Open liuchengwu/discover-and-prove on Hugging Face

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