activity
20182025
most citedA Quadratic Lower Bound for Algebraic Branching Programs and Formulas

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.CC2025

IPS Lower Bounds for Formulas and Sum of ROABPs

Prerona Chatterjee, Utsab Ghosal, Partha Mukhopadhyay +1

We give new lower bounds for the fragments of the Ideal Proof System (IPS) introduced by Grochow and Pitassi (JACM 2018). The Ideal Proof System is a central topic in algebraic pro…