@misc{indiciae58bd8708c5f1,
  title = {Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics},
  author = {Benjamin Breen and Marco Del Tredici and Jacob McCarran and Javier Aspuru Mijares and Weichen Winston Yin and Kfir Sulimany and Jacob M. Taylor and Frank H. L. Koppens and Dirk Englund},
  year = {2026},
  url = {https://arxiv.org/abs/2510.12787},
  note = {Source identifier: 2510.12787}
}