@article{axqmatextbookscalebenchmarkforformalproo,
  title = {AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics},
  author = {Weichen Winston Yin and Jacob M. Taylor and Dirk R. Englund and Frank H. L. Koppens},
  year = {2026},
  eprint = {2609.05157},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.05157},
}