PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks

17 August 2024

Marta Kwiatkowska

Papers citing "PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks"

19 / 19 papers shown

Title
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound Claudio Ferrari Mark Niklas Muller Nikola Jovanović Martin Vechev 67 89 0 30 Apr 2022
Efficient computation of the volume of a polytope in high-dimensions using Piecewise Deterministic Markov Processes Augustin Chevallier F. Cazals Paul Fearnhead 44 13 0 18 Feb 2022
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Complete and Incomplete Neural Network Robustness Verification Shiqi Wang Huan Zhang Kaidi Xu Xue Lin Suman Jana Cho-Jui Hsieh Zico Kolter 109 199 0 11 Mar 2021
SyReNN: A Tool for Analyzing Deep Neural Networks Matthew Sotoudeh Aditya V. Thakur AAML GNN 52 16 0 09 Jan 2021
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers Kaidi Xu Huan Zhang Shiqi Wang Yihan Wang Suman Jana Xue Lin Cho-Jui Hsieh 82 183 0 27 Nov 2020
Improving Neural Network Verification through Spurious Region Guided Refinement Pengfei Yang Renjue Li Jianlin Li Cheng-Chao Huang Jingyi Wang Jun Sun Bai Xue Lijun Zhang AAML 40 38 0 15 Oct 2020
Statistically Robust Neural Network Classification Benjie Wang Stefan Webb Tom Rainforth OOD AAML 46 19 0 10 Dec 2019
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 99 126 0 31 Oct 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 88 400 0 15 Mar 2019
Robustness of Neural Networks: A Probabilistic and Practical Approach Ravi Mangal A. Nori A. Orso AAML OOD 49 76 0 15 Feb 2019
A Statistical Approach to Assessing Neural Network Robustness Stefan Webb Tom Rainforth Yee Whye Teh M. P. Kumar AAML 55 83 0 17 Nov 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 74 270 0 06 May 2018
End-to-end Driving via Conditional Imitation Learning Felipe Codevilla Matthias Muller Antonio M. López V. Koltun Alexey Dosovitskiy 123 1,066 0 06 Oct 2017
Evasion Attacks against Machine Learning at Test Time Battista Biggio Igino Corona Davide Maiorca B. Nelson Nedim Srndic Pavel Laskov Giorgio Giacinto Fabio Roli AAML 155 2,149 0 21 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 315 1,867 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 215 943 0 21 Oct 2016
OpenAI Gym Greg Brockman Vicki Cheung Ludwig Pettersson Jonas Schneider John Schulman Jie Tang Wojciech Zaremba OffRL ODL 214 5,075 0 05 Jun 2016
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 97 4,167 0 25 Apr 2016
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 268 14,918 1 21 Dec 2013