Login / Signup

Efficient Neural Network Verification via Layer-based Semidefinite Relaxations and Linear Cuts.

Ben BattenPanagiotis KouvarosAlessio LomuscioYang Zheng
Published in: IJCAI (2021)
Keyphrases
  • semidefinite
  • neural network
  • semidefinite programming
  • sufficient conditions
  • higher dimensional
  • convex relaxation
  • convex sets
  • high dimensional
  • finite dimensional
  • genetic algorithm
  • learning algorithm
  • knn