AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics

arXiv:2609.05157 · quant-ph, cs.AI, cs.LO · Submitted 2026-09-04 · Read on arXiv

quant-ph, cs.AI, cs.LO

Submitted: 2026-09-04

Updated: 2026-09-04

Comments: 15 pages, 3 figures. Benchmark available at https://github.com/Axiomatic-AI/AxQM

Code: https://github.com/Axiomatic-AI/AxQM

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

• Benchmark — 3× in this paper · explained in 2 episodes
• Axioms — 1× in this paper · explained in 2 episodes

Related papers

• Reconquering Bell sampling on qudits: stabilizer learning and testing, quantum pseudorandomness bounds, and more
• Encrypted clones can leak: Classification of informative subsets in Quantum Encrypted Cloning
• Polynomial-time classical and quantum simulation of quantum impurity models
• Theory of quantum-enhanced interferometry with general Markovian light sources
• A convergent hierarchy of spectral gap certificates for qubit Hamiltonians
• Universal Bound and Phase Transition in Many-Body Fermionic Non-Gaussianity