no code implementations • 20 Aug 2024 • Samuel Chevalier, Duncan Starkenburg, Krishnamurthy Dvijotham
In the field of formal verification, Neural Networks (NNs) are typically reformulated into equivalent mathematical programs which are optimized over.
