A Logspace constructive proof of SL = L
with Sam Buss, Anant Dhayal, Valentine Kabanets, Antonina Kolokolova
ECCC
Polynomial Calculus sizes over the Boolean and Fourier bases are incomparable
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.