Login / Signup

General Cutting Planes for Bound-Propagation-Based Neural Network Verification.

Huan ZhangShiqi WangKaidi XuLinyi LiBo LiSuman JanaCho-Jui HsiehJ. 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