Inspired by sum-of-infeasibilities methods in convex optimization, we pr...
Neural networks (NN) learn complex non-convex functions, making them
des...
Inspired by recent successes with parallel optimization techniques for
s...
We consider the problem of solving floating-point constraints obtained f...