Provable Preimage Under-Approximation for Neural Networks (Full Version)

5 May 2023

Papers citing "Provable Preimage Under-Approximation for Neural Networks (Full Version)"

7 / 7 papers shown

Title
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Kwiatkowska Huan Zhang AAML 36 2 0 17 Aug 2024
Provably Safe Neural Network Controllers via Differential Dynamic Logic Samuel Teuber Stefan Mitsch André Platzer AAML 27 8 0 16 Feb 2024
Adversarial Robustness Certification for Bayesian Neural Networks Matthew Wicker A. Patané Luca Laurenti Marta Z. Kwiatkowska AAML 23 3 0 23 Jun 2023
Provably Bounding Neural Network Preimages Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 33 12 0 02 Feb 2023
Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games Rui Yan G. Santos G. Norman David Parker M. Kwiatkowska 17 9 0 13 Feb 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016