Views
No views yet
1@inproceedings{
2gao2025herald,
3title={Herald: A Natural Language Annotated Lean 4 Dataset},
4author={Guoxiong Gao and Yutong Wang and Jiedong Jiang and Qi Gao and Zihan Qin and Tianyi Xu and Bin Dong},
5booktitle={The Thirteenth International Conference on Learning Representations},
6year={2025},
7url={https://openreview.net/forum?id=Se6MgCtRhz}
8}