Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics. - Marco Del Tredici; Jacob McCarran; Benjamin Breen; Javier Aspuru Mijares; Weichen Winston Yin; Jacob M. Taylor; Frank H. L. Koppens; Dirk Englund (CoRR, 2025)