TY  - RPRT
TI  - Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
AU  - Tuomas Hakoniemi
AU  - Nutan Limaye
AU  - Iddo Tzameret
PY  - 2024
DO  - 10.1145/3618260.3649616
UR  - https://arxiv.org/abs/2412.20114
ID  - 2412.20114
ER  -