AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics
This work releases AxQM, 1,019 kernel-checkable proof-synthesis tasks over 479 items drawn from the textbook Quantum Computation and Quantum Information by Nielsen and Chuang, which is the largest proof-synthesis benchmark in physics by a factor of four.
W. Yin, Jacob M. Taylor, D. Englund et al.
· 1 citation