Sasank Mouli

Polynomial Calculus sizes over the Boolean and Fourier bases are incomparable

To appear in FOCS 2024.

New lower bounds for Polynomial Calculus over non-Boolean bases

with Yogesh Dahiya and Meena Mahajan.
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.