初始化项目，由ModelHub XC社区提供模型

Model: FrenzyMath/Herald_translator Source: Original Platform
2026-07-04 05:06:17 +08:00
commit da73c962b8
15 changed files with 499852 additions and 0 deletions
--- a/README.md
+++ b/README.md
@@ -0,0 +1,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}
+}
+```