Scaling Polyhedral Neural Network Verification on GPUs

20 July 2020

Martin Vechev

Papers citing "Scaling Polyhedral Neural Network Verification on GPUs"

36 / 36 papers shown

Title
Evaluation and Verification of Physics-Informed Neural Models of the Grad-Shafranov Equation Fauzan Nazranda Rizqan Matthew Hole Charles Gretton 43 0 0 29 Apr 2025
Verification of Bit-Flip Attacks against Quantized Neural Networks Yedi Zhang Lei Huang Pengfei Gao Fu Song Jun Sun Jin Song Dong AAML 47 0 0 22 Feb 2025
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 36 0 0 26 Oct 2024
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks Matthias König Xiyue Zhang Holger H. Hoos Marta Kwiatkowska Jan N. van Rijn AAML 36 1 0 14 Jun 2024
Boosting Few-Pixel Robustness Verification via Covering Verification Designs Yuval Shapira Naor Wiesel Shahar Shabelman Dana Drachsler-Cohen AAML 34 0 0 17 May 2024
Verification for Object Detection -- IBP IoU Noémie Cohen Mélanie Ducoffe Ryma Boumazouza Christophe Gabreau C. Pagetti Xavier Pucel Audrey Galametz VLM 15 1 0 30 Jan 2024
Set-Based Training for Neural Network Verification Lukas Koller Tobias Ladner Matthias Althoff AAML 43 1 0 26 Jan 2024
Harnessing Neuron Stability to Improve DNN Verification Hai V. Duong Dong Xu ThanhVu Nguyen Matthew B. Dwyer 24 4 0 19 Jan 2024
Inferring Properties of Graph Neural Networks Dat Nguyen Hieu M. Vu Cong-Thanh Le Bach Le David Lo Singapore Management University Corina Pasareanu University of Melbourne AI4CE AAML 28 1 0 08 Jan 2024
STR-Cert: Robustness Certification for Deep Text Recognition on Deep Learning Pipelines and Vision Transformers Daqian Shao Lukas Fesser Marta Z. Kwiatkowska 26 0 0 28 Nov 2023
Verification of Neural Networks Local Differential Classification Privacy Roie Reshef Anan Kabaha Olga Seleznova Dana Drachsler-Cohen AAML 19 2 0 31 Oct 2023
Expediting Neural Network Verification via Network Reduction Yuyi Zhong Ruiwei Wang Siau-Cheng Khoo AAML 22 2 0 07 Aug 2023
A DPLL(T) Framework for Verifying Deep Neural Networks Hai V. Duong Thanh-Dat Nguyen Matthew B. Dwyer 23 8 0 17 Jul 2023
Efficient MILP Decomposition in Quantum Computing for ReLU Network Robustness Nicola Franco Thomas Wollschläger Benedikt Poggel Stephan Günnemann J. Lorenz 11 9 0 30 Apr 2023
Incremental Verification of Neural Networks Shubham Ugare Debangshu Banerjee Sasa Misailovic Gagandeep Singh 30 11 0 04 Apr 2023
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks Vineel Nagisetty Laura Graves Guanting Pan Piyush Jha Vijay Ganesh AAML OOD 13 1 0 04 Apr 2023
Interpreting Robustness Proofs of Deep Neural Networks Debangshu Banerjee Avaljot Singh Gagandeep Singh AAML 11 5 0 31 Jan 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 30 66 0 14 Jan 2023
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 19 1 0 15 Dec 2022
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks Mathias Lechner Dorde Zikelic K. Chatterjee T. Henzinger Daniela Rus AAML 16 2 0 29 Nov 2022
Improved techniques for deterministic l2 robustness Sahil Singla S. Feizi AAML 23 9 0 15 Nov 2022
Boosting Robustness Verification of Semantic Feature Neighborhoods Anan Kabaha Dana Drachsler-Cohen AAML 29 6 0 12 Sep 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Bo-wen Li Suman Jana Cho-Jui Hsieh J. Zico Kolter 33 94 0 11 Aug 2022
Provable Defense Against Geometric Transformations Rem Yang Jacob S. Laurel Sasa Misailovic Gagandeep Singh AAML 25 15 0 22 Jul 2022
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 40 17 0 29 Jun 2022
Stability Verification of Neural Network Controllers using Mixed-Integer Programming Roland Schwan Colin N. Jones Daniel Kuhn 27 24 0 27 Jun 2022
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness Julien Girard-Satabin Michele Alberti F. Bobot Zakaria Chihani Augustin Lemesle 37 10 0 07 Jun 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 39 30 0 19 Mar 2022
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks Mark Niklas Muller Marc Fischer Robin Staab Martin Vechev 13 3 0 14 Oct 2021
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 17 112 0 31 Aug 2021
Self-Correcting Neural Networks For Safe Classification Klas Leino Aymeric Fromherz Ravi Mangal Matt Fredrikson Bryan Parno C. Păsăreanu 19 4 0 23 Jul 2021
PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull Approximations Mark Niklas Muller Gleb Makarchuk Gagandeep Singh Markus Püschel Martin Vechev 33 90 0 05 Mar 2021
On the Paradox of Certified Training Nikola Jovanović Mislav Balunović Maximilian Baader Martin Vechev OOD 23 13 0 12 Feb 2021
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 32 34 0 06 Mar 2020
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 105 138 0 29 Nov 2018
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