44 citations · 45 across the 6 of their papers we have counts for
1 paper · 1 filter
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…