Author

Haonan Li

Observed name: Li, Haonan

Institution: Mohamed bin Zayed University of Artificial Intelligence

Observed institution: Mohamed bin Zayed University of Artificial Intelligence

OpenAlex ID: A5124146468

Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification

2026 · Leang, Joshua Ong Jun, Li, Haonan, et al. · arXiv (Cornell University)

AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language

2026 · Xu, Qiyuan, Leang, Joshua Ong Jun, et al. · arXiv (Cornell University)

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark

2026 · Xu, Qiyuan, Luan, Xiaokun, et al. · arXiv (Cornell University)

Works count: 3

Citation count:

H-index:

I10-index: