TY  - RPRT
TI  - Quantum Automating $\mathbf{TC}^0$-Frege Is LWE-Hard
AU  - Noel Arteche
AU  - Gaia Carenini
AU  - Matthew Gray
PY  - 2025
DO  - 10.1007/s00037-025-00271-w
UR  - https://arxiv.org/abs/2402.10351
ID  - 2402.10351
ER  -