FrenzyMath/Herald_proofs download history

FrenzyMath/Herald_proofs is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 166 times (59 in the last 7 days), and 3,791 times in total. It ranks #77,954 among datasets by monthly downloads.

This is the proof part of the Herald dataset, which consists of 45k NL-FL proofs. Lean version: leanprover--lean4---v4.11.0 Bibtex citation @inproceedings{ gao2025herald, title={Herald: A Natural Language Annotated Lean 4 Dataset}, author={Guoxiong Gao and Yutong Wang and Jiedong Jiang an

Open FrenzyMath/Herald_proofs on Hugging Face

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