Back to papers
September 4, 2026quant-phcs.AIcs.LO

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

Weichen Winston Yin, Jacob M. Taylor, Dirk R. Englund, Frank H. L. Koppens
Read on arXivDownload PDF
Categories

quant-ph, cs.AI, cs.LO

AxQM: A Textbook-Scale Benchmark for Formal | One9Founders