90 citations · 330 across the 36 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.IT2014★ 18 cited
Optimal high-level descriptions of dynamical systems
David H. Wolpert, Joshua A. Grochow, Eric Libby +1
To analyze high-dimensional systems, many fields in science and engineering rely on high-level descriptions, sometimes called "macrostates," "coarse-grainings," or "effective theor…
cs.CC2014
Circuit complexity, proof complexity, and polynomial identity testing
Joshua A. Grochow, Toniann Pitassi
We introduce a new algebraic proof system, which has tight connections to (algebraic) circuit complexity. In particular, we show that any super-polynomial lower bound on any Boolea…