Sasank Mouli

Lower bounds for Polynomial Calculus with extension variables over finite fields

with Russell Impagliazzo and Toniann Pitassi.
ECCC.

The Surprising Power of Constant Depth Algebraic Proofs

with Russell Impagliazzo and Toniann Pitassi.
LICS 2020.