Gao, Guoxiong

3 publications

ICLR 2026 Aria: An Agent for Retrieval and Iterative Auto-Formalization via Dependency Graph Hanyu Wang, Ruohan Xie, Yutong Wang, Guoxiong Gao, XintaoYu, Bin Dong

ICLR 2026 FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels Jiedong Jiang, Wanyi He, Wang Yuefeng, Guoxiong Gao, Yongle Hu, Jingting Wang, Nailin Guan, Peihao Wu, Bryan Dai, Liang Xiao, Bin Dong

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