Lower Bounds against the Ideal Proof System in Finite Fields

Tal Elbaz, Nashlen Govindasamy, Jiaqi Lu +1

Lower bounds against strong algebraic proof systems and specifically fragments of the Ideal Proof System (IPS), have been obtained in an ongoing line of work. All of these bounds,…