@misc{indiciae54f87b378d7d,
  title = {Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers},
  author = {Tuomas Hakoniemi and Nutan Limaye and Iddo Tzameret},
  year = {2024},
  doi = {10.1145/3618260.3649616},
  url = {https://arxiv.org/abs/2412.20114},
  note = {Source identifier: 2412.20114}
}