arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Guoxiong Gao"" — arXiv2 Search
Showing 1–6 of 6 results
/ Date
/ Name
Oct 6, 2025
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
Oct 9, 2024
Herald: A Natural Language Annotated Lean 4 Dataset
Mar 20, 2024
A Semantic Search Engine for Mathlib4
May 27, 2025
REAL-Prover: Retrieval Augmented Lean Prover for Mathematical Reasoning
Apr 4, 2026
Automated Conjecture Resolution with Formal Verification
Nov 4, 2025
FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels