Herald: A Natural Language Annotated Lean 4 Dataset.

Guoxiong Gao, Yutong Wang, Jiedong Jiang, Qi Gao, Zihan Qin, Tianyi Xu, Bin Dong

Browse the full ICLR paper archive.