Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks

3 May 2017

Papers citing "Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks"

50 / 160 papers shown

Title
Enhancing Certified Robustness via Block Reflector Orthogonal Layers and Logit Annealing Loss Bo-Han Lai Pin-Han Huang Bo-Han Kung Shang-Tse Chen 32 0 0 21 May 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 55 0 0 02 May 2025
A Domain-Agnostic Scalable AI Safety Ensuring Framework Beomjun Kim Kangyeon Kim Sunwoo Kim Heejin Ahn 57 0 0 29 Apr 2025
Support is All You Need for Certified VAE Training Changming Xu Debangshu Banerjee Deepak Vasisht Gagandeep Singh AAML 51 0 0 16 Apr 2025
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 53 0 0 23 Feb 2025
Improving DNN Modularization via Activation-Driven Training Tuan Ngo Abid Hassan Saad Shafiq Nenad Medvidovic MoMe 32 0 0 01 Nov 2024
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 169 1 0 14 Oct 2024
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 43 1 0 02 Oct 2024
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 80 15 0 31 Aug 2024
Certified Causal Defense with Generalizable Robustness Yiran Qiao Yu Yin Chen Chen Jing Ma AAML OOD CML 68 0 0 28 Aug 2024
Towards Certification of Uncertainty Calibration under Adversarial Attacks Cornelius Emde Francesco Pinto Thomas Lukasiewicz Philip Torr Adel Bibi AAML 50 0 0 22 May 2024
Boosting Few-Pixel Robustness Verification via Covering Verification Designs Yuval Shapira Naor Wiesel Shahar Shabelman Dana Drachsler-Cohen AAML 39 0 0 17 May 2024
Cross-Input Certified Training for Universal Perturbations Changming Xu Gagandeep Singh AAML 35 2 0 15 May 2024
Towards Efficient Verification of Quantized Neural Networks Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett MQ 43 12 0 20 Dec 2023
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions László Antal Hana Masara Erika Ábrahám 41 0 0 16 Nov 2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks Marta Kwiatkowska Xiyue Zhang AAML 44 9 0 20 Sep 2023
Robustness Analysis of Continuous-Depth Models with Lagrangian Techniques Sophie A. Neubauer Radu Grosu 27 0 0 23 Aug 2023
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations J. Cyranka Kevin E. M. Church J. Lessard 42 0 0 28 Jul 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 32 6 0 20 Jul 2023
DelBugV: Delta-Debugging Neural Network Verifiers R. Elsaleh Guy Katz 45 1 0 29 May 2023
Efficient Error Certification for Physics-Informed Neural Networks Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Philip Torr M. P. Kumar PINN 31 1 0 17 May 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 102 34 0 29 Apr 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair K. Majd Geoffrey Clark Tanmay Khandait Siyu Zhou S. Sankaranarayanan Georgios Fainekos H. B. Amor 34 1 0 08 Mar 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 35 8 0 07 Mar 2023
Towards Large Certified Radius in Randomized Smoothing using Quasiconcave Optimization Bo-Han Kung Shang-Tse Chen AAML 37 0 0 01 Feb 2023
Interpreting Robustness Proofs of Deep Neural Networks Debangshu Banerjee Avaljot Singh Gagandeep Singh AAML 29 5 0 31 Jan 2023
Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq A. Aleksandrov Kim Völlinger 24 5 0 30 Jan 2023
PCV: A Point Cloud-Based Network Verifier A. Sarker Farzana Yasmin Ahmad Matthew B. Dwyer AAML 3DPC 38 1 0 27 Jan 2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks David Boetius Stefan Leue Tobias Sutter 43 4 0 26 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 43 68 0 14 Jan 2023
Uncertainty Estimation based on Geometric Separation Gabriella Chouraqui L. Cohen Gil Einziger Liel Leman 40 0 0 11 Jan 2023
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 49 13 0 06 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural Networks Yedi Zhang Fu Song Jun Sun MQ 34 11 0 06 Dec 2022
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 53 11 0 02 Dec 2022
Invariance-Aware Randomized Smoothing Certificates Jan Schuchardt Stephan Günnemann AAML 30 5 0 25 Nov 2022
Efficiently Finding Adversarial Examples with DNN Preprocessing Avriti Chauhan Mohammad Afzal Hrishikesh Karmarkar Y. Elboher Kumar Madhukar Guy Katz AAML 37 0 0 16 Nov 2022
DE-CROP: Data-efficient Certified Robustness for Pretrained Classifiers Gaurav Kumar Nayak Ruchit Rawal Anirban Chakraborty 19 3 0 17 Oct 2022
Sound and Complete Verification of Polynomial Networks Elias Abad Rocamora Mehmet Fatih Şahin Fanghui Liu Grigorios G. Chrysos V. Cevher 28 5 0 15 Sep 2022
CARE: Certifiably Robust Learning with Reasoning via Variational Inference Jiawei Zhang Linyi Li Ce Zhang Yue Liu AAML OOD 48 8 0 12 Sep 2022
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks Zhaodi Zhang Yiting Wu Siwen Liu Jing Liu Min Zhang AAML 31 11 0 21 Aug 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables Adrien Benamira Tristan Guérand Thomas Peyrin Trevor Yap Bryan Hooi 42 1 0 18 Aug 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification Huan Zhang Shiqi Wang Kaidi Xu Linyi Li Yue Liu Suman Jana Cho-Jui Hsieh J. Zico Kolter 48 97 0 11 Aug 2022
Reachability Analysis of a General Class of Neural Ordinary Differential Equations Diego Manzanas Lopez Patrick Musau Nathaniel P. Hamilton Taylor T. Johnson 28 14 0 13 Jul 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 33 33 0 06 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 37 10 0 02 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 50 17 0 29 Jun 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin Jin Dong AAML 37 43 0 24 Jun 2022
Can pruning improve certified robustness of neural networks? Zhangheng Li Tianlong Chen Linyi Li Yue Liu Zhangyang Wang AAML 24 12 0 15 Jun 2022
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks Kiarash Mohammadi Aishwarya Sivaraman G. Farnadi 35 5 0 01 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 40 20 0 01 Jun 2022