Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions

27 November 2022

Papers citing "Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions"

3 / 3 papers shown

Title
Formal Verification of Markov Processes with Learned Parameters Muhammad Maaz Timothy C. Y. Chan 45 0 0 27 Jan 2025
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 33 0 29 Apr 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017