AC0[p]-Frege Cannot Efficiently Prove that Constant-Depth Algebraic Circuit Lower Bounds are Hard. - Jiaqi Lu 007; Rahul Santhanam; Iddo Tzameret (Electron. Colloquium Comput. Complex., 2025)

AC⁰[p]-Frege Cannot Efficiently Prove That Constant-Depth Algebraic Circuit Lower Bounds Are Hard. - Jiaqi Lu 007; Rahul Santhanam; Iddo Tzameret (ITCS, 2026)

Lower Bounds against the Ideal Proof System in Finite Fields. - Tal Elbaz; Nashlen Govindasamy; Jiaqi Lu 007; Iddo Tzameret (STOC, 2026)