Sasank Mouli

Polynomial Calculus sizes over the Boolean and Fourier bases are incomparable

ECCC preprint.

New lower bounds for Polynomial Calculus over non-Boolean bases

with Yogesh Dahiya and Meena Mahajan.
To appear in SAT 2024.

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.