19 lines
476 B
Markdown
19 lines
476 B
Markdown
---
|
|
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}
|
|
}
|
|
``` |