research
∙
03/19/2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities
Inspired by sum-of-infeasibilities methods in convex optimization, we pr...
share
research
∙
10/07/2020
Global Optimization of Objective Functions Represented by ReLU Networks
Neural networks (NN) learn complex non-convex functions, making them des...
research
∙
04/17/2020
Parallelization Techniques for Verifying Neural Networks
Inspired by recent successes with parallel optimization techniques for s...
research
∙
11/24/2017