FrenzyMath/Herald_statements download history

FrenzyMath/Herald_statements is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 107 times (18 in the last 7 days), and 2,093 times in total. It ranks #109,297 among datasets by monthly downloads.

This is the statement part of the Herald dataset, which consists of 580k NL-FL statement pairs. 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 Ji

Models trained on Herald_statements

2 models list it as training data.

• mradermacher/Qwen3-8B-Herald-SFT-GGUF 569 downloads in 30 days
• FrenzyMath/Herald_translator 75 downloads in 30 days

Open FrenzyMath/Herald_statements on Hugging Face

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