133 citations · 208 across the 7 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CC2021
On the Power and Limitations of Branch and Cut
Noah Fleming, Mika Göös, Russell Impagliazzo +4
The Stabbing Planes proof system was introduced to model the reasoning carried out in practical mixed integer programming solvers. As a proof system, it is powerful enough to simul…
cs.LG2021
Size and Depth Separation in Approximating Benign Functions with Neural Networks
Gal Vardi, Daniel Reichman, Toniann Pitassi +1
When studying the expressive power of neural networks, a main challenge is to understand how the size and depth of the network affect its ability to approximate real functions. How…