| library_name: transformers | |
| license: apache-2.0 | |
| datasets: | |
| - FrenzyMath/Herald_statements | |
| ## Bibtex citation | |
| ```bibtex | |
| @inproceedings{ | |
| gao2025herald, | |
| title={Herald: A Natural Language Annotated Lean 4 Dataset}, | |
| author={Guoxiong Gao and Yutong Wang and Jiedong Jiang and Qi Gao and Zihan Qin and Tianyi Xu and Bin Dong}, | |
| booktitle={The Thirteenth International Conference on Learning Representations}, | |
| year={2025}, | |
| url={https://openreview.net/forum?id=Se6MgCtRhz} | |
| } | |
| ``` |