Quantum Automating TC0-Frege Is LWE-Hard - Arteche, Noel; Carenini, Gaia; Gray, Matthew (Computational complexity, 2025)
Keywords: Algorithm Analysis and Problem Complexity; Algorithms; Computational Mathematics and Numerical Analysis; Computer Science; Quantum computing; feasible interpolation; 68Q01; 68Q12; proof complexity; post-quantum cryptography; automatability; 03F20