File size: 476 Bytes
b7b6729 9a526a5 b7b6729 0c64c38 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 |
---
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}
}
``` |