Guoxiong Gao

According to our database, Guoxiong Gao authored at least 5 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels.

Jiedong Jiang, Wanyi He, Yuefeng Wang, Guoxiong Gao, Yongle Hu, Jingting Wang, Nailing Guan, Peihao Wu, Chunbo Dai, Liang Xiao, Bin Dong

CoRR, November, 2025

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph.

Hanyu Wang, Ruohan Xie, Yutong Wang, Guoxiong Gao, Xintao Yu, Bin Dong

CoRR, October, 2025

REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning.

Ziju Shen, Naohao Huang, Fanyi Yang, Yutong Wang, Guoxiong Gao, Tianyi Xu, Jiedong Jiang, Wanyi He, Pu Yang, Mengzhou Sun, Haocheng Ju, Peihao Wu, Bryan Dai, Bin Dong

CoRR, May, 2025

Herald: A Natural Language Annotated Lean 4 Dataset.

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

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

A Semantic Search Engine for Mathlib4.

Guoxiong Gao, Haocheng Ju, Jiedong Jiang, Zihan Qin, Bin Dong

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2024, 2024