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:
CoRR (2022)
Keyphrases
</>
neural network
cutting plane
special case
upper bound
genetic algorithm
lower bound
knapsack problem
cutting plane algorithm
optimal solution