TY  - RPRT
TI  - Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
AU  - Benjamin Breen
AU  - Marco Del Tredici
AU  - Jacob McCarran
AU  - Javier Aspuru Mijares
AU  - Weichen Winston Yin
AU  - Kfir Sulimany
AU  - Jacob M. Taylor
AU  - Frank H. L. Koppens
AU  - Dirk Englund
PY  - 2026
UR  - https://arxiv.org/abs/2510.12787
ID  - 2510.12787
ER  -