AI-assisted discovery 1applied mathematics 1automated theorem proving 1knowledge retrieval 1mathematical conjecture generation 1mechanism-centered reasoning 1multi-agent systems 1reasoning agents 1scientific discovery 1theorem proving 1
From the 2 of 11 linked papers with an AI index.
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
Bowen Yang, Yi Yuan, Chenyi Li +5
Recent advances in large language models have demonstrated impressive capabilities in mathematical formalization. However, existing benchmarks focus on logical verification of decl…
cs.LO2025
Translating Informal Proofs into Formal Proofs Using a Chain of States
Ziyu Wang, Bowen Yang, Chenyi Li +4
We address the problem of translating informal mathematical proofs expressed in natural language into formal proofs in Lean4 under a constrained computational budget. Our approach…