@misc{indiciae2050b9b94946,
  title = {Quantum Automating \$\textbackslash{}mathbf\{TC\}\textasciicircum{}0\$-Frege Is LWE-Hard},
  author = {Noel Arteche and Gaia Carenini and Matthew Gray},
  year = {2025},
  doi = {10.1007/s00037-025-00271-w},
  url = {https://arxiv.org/abs/2402.10351},
  note = {Source identifier: 2402.10351}
}