Simple Hard Instances for Low-Depth Algebraic Proofs. - Nashlen Govindasamy; Tuomas Hakoniemi; Iddo Tzameret (Electron. Colloquium Comput. Complex., 2022)

Lower Bounds against the Ideal Proof System in Finite Fields. - Tal Elbaz; Nashlen Govindasamy; Jiaqi Lu; Iddo Tzameret (Electron. Colloquium Comput. Complex., 2025)