Showing quant-phShow all
2 papers · 1 filter
quant-ph2026
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 +1
Formalizing mathematics in a proof assistant, where a machine checks every definition, statement and proof, has set a new standard of rigor. Large language models are now capable o…
quant-ph2024
Derandomized shallow shadows: Efficient Pauli learning with bounded-depth circuits
Katherine Van Kirk, Christian Kokail, Jonathan Kunjummen +7
Efficiently estimating large numbers of non-commuting observables is an important subroutine of many quantum science tasks. We present the derandomized shallow shadows (DSS) algori…