TY  - RPRT
TI  - Herald: A Natural Language Annotated Lean 4 Dataset
AU  - Guoxiong Gao
AU  - Yutong Wang
AU  - Jiedong Jiang
AU  - Qi Gao
AU  - Zihan Qin
AU  - Tianyi Xu
AU  - Bin Dong
PY  - 2025
UR  - https://arxiv.org/abs/2410.10878
ID  - 2410.10878
ER  -