@misc{tredici2025prover,
  title={Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics},
  author={Marco Del Tredici and Jacob McCarran and Benjamin Breen and Javier Aspuru Mijares and Weichen Winston Yin and Jacob M. Taylor and Frank Koppens and Dirk Englund},
  year={2025},
  eprint={2510.12787},
  archivePrefix={arXiv},
  primaryClass={cs.AI},
  url={https://arxiv.org/abs/2510.12787}
}