AI-assisted discovery 1automated theorem proving 1mathematical conjecture generation 1mechanism-centered reasoning 1multi-agent systems 1
From the 1 of 2 linked papers with an AI index.
2 papers
cs.AI2026
MECA: A Mechanism-Centered Agent for Constructing Well-Specified and Valuable Mathematical Conjectures
Wentao Long, Yunfei Zhang, Chenyi Li +1
The paper introduces MECA, a multi‑agent system that generates precise mathematical conjectures by iteratively proposing and refining underlying reasoning mechanisms, with critic a…
cs.AI2026
CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean
Wentao Long, Yunfei Zhang, Chenyi Li +3
Formal theorem-proving benchmarks enable mechanically verifiable evaluation of mathematical reasoning in large language models. However, existing benchmarks mainly focus on Olympia…