182 citations · 670 across the 41 of their papers we have counts for
3 papers · 1 filter
Preserving Statistical Validity in Adaptive Data Analysis
Cynthia Dwork, Vitaly Feldman, Moritz Hardt +3
A great deal of effort has been devoted to reducing the risk of spurious scientific discoveries, from the use of sophisticated validation techniques, to deep statistical methods fo…
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…
Solving #SAT and Bayesian Inference with Backtracking Search
Fahiem Bacchus, Shannon Dalmao, Toniann Pitassi
Inference in Bayes Nets (BAYES) is an important problem with numerous applications in probabilistic reasoning. Counting the number of satisfying assignments of a propositional form…