Guoxiong Gao

According to our database, Guoxiong Gao authored at least 7 papers between 2024 and 2026.

Collaborative distances:

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

2026

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving.

Guoxiong Gao, Zeming Sun, Jiedong Jiang, Yutong Wang, Jingda Xu, Peihao Wu, Bryan Dai, Bin Dong

CoRR, May, 2026

Automated Conjecture Resolution with Formal Verification.

Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong

CoRR, April, 2026

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