A Formalization of the Generalized Quantum Stein's Lemma in Lean

High-Rate Surgery: towards constant-overhead logical operations

How hard is it to verify a classical shadow?

Hamiltonian Decoded Quantum Interferometry

A Structural Theory of Quantum Metastability: Markov Properties and Area Laws

Hardness of recognizing phases of matter

Quantum Spin Chains Thermalize at All Temperatures

A doubly composite Chernoff-Stein lemma and its applications

MIPco=coRE

Is it Gaussian? Testing bosonic quantum states