Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization.
Navid HashemiJustin RuthsMahyar FazlyabPublished in: CoRR (2020)
Keyphrases
- convex optimization
- neural network
- convex constraints
- quadratic program
- interior point methods
- total variation
- primal dual
- linear programming problems
- low rank
- convex optimization problems
- norm minimization
- semi infinite
- convex formulation
- objective function
- convex relaxation
- semidefinite program
- operator splitting
- mixed integer
- image restoration
- computational complexity
- computer vision
- augmented lagrangian
- constrained optimization
- low rank matrix
- high quality
- feature extraction
- genetic algorithm