Author

Haonan Li

h-index 2 View on Semantic Scholar

We have 2 of 7 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Sep 2026

Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification

This paper introduces Magenta, a training-free agentic pipeline that, given only a natural-language problem, produces an answer, expresses it as a Lean 4 statement, and constructs a machine-checked proof, which achieves 100% accuracy across all evaluated olympiad benchmarks.

Joshua Ong Jun Leang, Hao-Nan Li, Zheng-Yang Zhao et al. · 0 citations

Jul 2026

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

AoA lifts the agent off source text and onto the abstract syntax tree (AST): the model supplies proofs as JSON representations of Minilang's AST and drives the prover through a tree-edit model that fuses proof operations and states into one proof tree, so each operation carries its own subgoal's state, readable directl...

Qiyuan Xu, Joshua Ong Jun Leang, Renxi Wang et al. · arXiv.org · 0 citations