@misc{indiciae3a3136af3dd5,
  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},
  url = {https://arxiv.org/abs/2609.05157},
  note = {Source identifier: 2609.05157}
}