Similar Items: Constructive Separations from Gate Elimination
- En Route to a Standard QMA1 vs. QCMA Oracle Separation
- An Improved Construction of Variety-Evasive Subspace Families
- Learning to Think from Multiple Thinkers
- Hard-to-Sample Distributions from Robust Extractors
- From Gödel incompleteness to the consistency of circuit lower bounds
- Primitive Recursion without Composition: Dynamical Characterizations, from Neural Networks to Polynomial ODEs