kyranstar/SmoothAbstractInterpretation
Taking a discontinuous program with boolean output conditions as input, we apply smoothing operators to turn it into an continuous optimization problem that provably solves boolean output conditions.
Python
Taking a discontinuous program with boolean output conditions as input, we apply smoothing operators to turn it into an continuous optimization problem that provably solves boolean output conditions.
Python