ML Anthology

Jiang, Jiedong

1 publications

ICLR 2025 Herald: A Natural Language Annotated Lean 4 Dataset Guoxiong Gao, Yutong Wang, Jiedong Jiang, Qi Gao, Zihan Qin, Tianyi Xu, Bin Dong