New lower bounds for Polynomial Calculus over non-Boolean bases
with Yogesh Dahiya and Meena Mahajan.
ECCC preprint.
Lower bounds for Polynomial Calculus with extension variables over finite fields
with Russell Impagliazzo and Toniann Pitassi.
CCC 2023.
The Surprising Power of Constant Depth Algebraic Proofs
with Russell Impagliazzo and Toniann Pitassi.
LICS 2020.