2 papers
cs.AI2026
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics
Benjamin Breen, Marco Del Tredici, Jacob McCarran +6
We present Ax-Prover, a multi-agent system for automated theorem proving in Lean that can solve problems across diverse scientific domains and operate either autonomously or collab…
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…