firstbacksecondback
3 Results
|
Poster
|
Thu 9:00 |
A gradient sampling method with complexity guarantees for Lipschitz functions in high and low dimensions Damek Davis · Dmitriy Drusvyatskiy · Yin Tat Lee · Swati Padmanabhan · Guanghao Ye |
|
|
Poster
|
Tue 9:00 |
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang · Shiqi Wang · Kaidi Xu · Linyi Li · Bo Li · Suman Jana · Cho-Jui Hsieh · J. Zico Kolter |
|
|
Poster
|
Thu 9:00 |
Structural Analysis of Branch-and-Cut and the Learnability of Gomory Mixed Integer Cuts Maria-Florina Balcan · Siddharth Prasad · Tuomas Sandholm · Ellen Vitercik |