Lower Bounds against the Ideal Proof System in Finite Fields

Tal Elbaz, Nashlen Govindasamy, Jiaqi Lu, Iddo Tzameret. Lower Bounds against the Ideal Proof System in Finite Fields. Electronic Colloquium on Computational Complexity (ECCC), TR25, 2025. [doi]

Abstract

Abstract is missing.