53 citations · 292 across the 29 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020★ 44 cited
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification
Christian Tjandraatmadja, Ross Anderson, Joey Huchette +3
We improve the effectiveness of propagation- and linear-optimization-based neural network verification algorithms with a new tightened convex relaxation for ReLU neurons. Unlike pr…
math.OC2020
Solving natural conic formulations with Hypatia.jl
Chris Coey, Lea Kapelevich, Juan Pablo Vielma
Many convex optimization problems can be represented through conic extended formulations with auxiliary variables and constraints using only the small number of standard cones reco…