Lower Bounds in Algebraic Complexity via Symmetry and Homomorphism Polynomials

Proof Complexity Workshop 2026, University of Bath