Login / Signup
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
Published in:
NeurIPS (2022)
Keyphrases
</>
neural network
cutting plane
lower bound
special case
upper bound
worst case
integer programming problems
knapsack problem
mixed integer