Student-Teacher Constructive Separations and (Un)Provability in Bounded Arithmetic: Witnessing the GapStefan GrosserMarco Carmosino2025STOC 2025
Testing and Learning Structured Quantum HamiltonianSrinivasan ArunachalamArkopal Duttet al.2025STOC 2025