v1v2v3 (latest)

Safety Verification of Deep Neural Networks

21 October 2016

Min Wu

Papers citing "Safety Verification of Deep Neural Networks"

50 / 448 papers shown

Title
Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification Ryota Ueda Takami Sato Ken Kobayashi Kazuhide Nakata AAML 98 0 0 12 Jun 2025
MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression Jingyang Li Guoqiang Li 15 0 0 03 Jun 2025
Efficient Preimage Approximation for Neural Network Certification Anton Björklund Mykola Zaitsev Marta Kwiatkowska AAML 16 0 0 28 May 2025
SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment Nawshin Mannan Proma Victoria J Hodge Rob Alexander 20 0 0 27 May 2025
RvLLM: LLM Runtime Verification with Domain Knowledge Yedi Zhang Sun Yi Emma Annabelle Lee Jia En Jin Song Dong 25 0 0 24 May 2025
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification Kota Fukuda Guanqin Zhang Zhenya Zhang Yulei Sui Jianjun Zhao 103 0 0 02 May 2025
A Domain-Agnostic Scalable AI Safety Ensuring Framework Beomjun Kim Kangyeon Kim Sunwoo Kim Heejin Ahn 149 0 0 29 Apr 2025
Adversarial Examples in Environment Perception for Automated Driving (Review) Jun Yan Huilin Yin AAML 84 0 0 11 Apr 2025
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 164 0 0 15 Mar 2025
CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models Xiangyu Yin Jiaxu Liu Zhen Chen Jinwei Hu Yi Dong Xiaowei Huang Wenjie Ruan AAML 86 0 0 08 Mar 2025
Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees Xinhang Ma Junlin Wu Hussein Sibai Y. Kantaros Yevgeniy Vorobeychik 68 0 0 28 Feb 2025
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 122 7 0 17 Feb 2025
Risk-Averse Certification of Bayesian Neural Networks Xiyue Zhang Zifan Wang Yulong Gao Licio Romao Alessandro Abate Marta Kwiatkowska BDL UQCV 81 0 0 29 Nov 2024
Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems Jan Gruteser Jan Roßbach Fabian Vu Michael Leuschel 163 0 0 21 Nov 2024
Improving DNN Modularization via Activation-Driven Training Tuan Ngo Abid Hassan Saad Shafiq Nenad Medvidovic MoMe 67 0 0 01 Nov 2024
Enhancing Safety and Robustness of Vision-Based Controllers via Reachability Analysis Kaustav Chakraborty Aryaman Gupta Somil Bansal 80 3 0 29 Oct 2024
LLM-Assisted Red Teaming of Diffusion Models through "Failures Are Fated, But Can Be Faded" Som Sagar Aditya Taparia Ransalu Senanayake 39 0 0 22 Oct 2024
Foundation Models for Rapid Autonomy Validation Alec Farid Peter Schleede Aaron Huang Christoffer Heckman 96 0 0 22 Oct 2024
SMLE: Safe Machine Learning via Embedded Overapproximation Matteo Francobaldi Michele Lombardi AAML 47 0 0 30 Sep 2024
PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska Huan Zhang AAML 86 4 0 17 Aug 2024
S-RAF: A Simulation-Based Robustness Assessment Framework for Responsible Autonomous Driving Daniel Omeiza Pratik Somaiya Jo-Ann Pattinson Carolyn Ten-Holter Jack Stilgoe Marina Jirotka Lars Kunze 64 0 0 16 Aug 2024
Detection of Unknown Errors in Human-Centered Systems Aranyak Maity Ayan Banerjee Sandeep K. S. Gupta 43 0 0 28 Jul 2024
Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift Navid Hashemi Lars Lindemann Jyotirmoy V. Deshmukh 226 3 0 16 Jul 2024
Safe and Reliable Training of Learning-Based Aerospace Controllers Udayan Mandal Guy Amir Haoze Wu Ieva Daukantas Fletcher Lee Newell ... Kerianne Hobbs Milan Ganai Tobey Shim Guy Katz Clark Barrett 74 3 0 09 Jul 2024
Detecting Brittle Decisions for Free: Leveraging Margin Consistency in Deep Robust Classifiers Jonas Ngnawé Sabyasachi Sahoo Y. Pequignot Frédéric Precioso Christian Gagné AAML 78 0 0 26 Jun 2024
Failures Are Fated, But Can Be Faded: Characterizing and Mitigating Unwanted Behaviors in Large-Scale Vision and Language Models Som Sagar Aditya Taparia Ransalu Senanayake 91 10 0 11 Jun 2024
Verification-Guided Shielding for Deep Reinforcement Learning Davide Corsi Guy Amir Andoni Rodríguez César Sánchez Guy Katz Roy Fox AAML OffRL 111 9 0 10 Jun 2024
Certifying Global Robustness for Deep Neural Networks You Li Guannan Zhao Shuyu Kong Yunqi He Hai Zhou AAML 41 0 0 31 May 2024
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction Ramya Ramalingam Sangdon Park Osbert Bastani 76 3 0 24 May 2024
Hybrid Convolutional Neural Networks with Reliability Guarantee Hans Dermot Doran Suzana Veljanovska 99 2 0 08 May 2024
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure Tobias Ladner Michael Eichelbeck Matthias Althoff GNN 231 0 0 23 Apr 2024
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward Xuan Xie Jiayang Song Zhehua Zhou Yuheng Huang Da Song Lei Ma OffRL 125 6 0 12 Apr 2024
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 120 3 0 12 Apr 2024
Certified PEFTSmoothing: Parameter-Efficient Fine-Tuning with Randomized Smoothing Chengyan Fu Wenjie Wang AAML 87 0 0 08 Apr 2024
Concept-based Analysis of Neural Networks via Vision-Language Models Ravi Mangal Nina Narodytska Divya Gopinath Boyue Caroline Hu Anirban Roy Susmit Jha Corina S. Pasareanu CoGe 68 3 0 28 Mar 2024
DeepKnowledge: Generalisation-Driven Deep Learning Testing S. Missaoui Simos Gerasimou Nikolaos Matragkas 70 1 0 25 Mar 2024
Certified Human Trajectory Prediction Mohammadhossein Bahari Saeed Saadatnejad Amirhossein Asgari-Farsangi Seyed-Mohsen Moosavi-Dezfooli Alexandre Alahi AAML 118 1 0 20 Mar 2024
Adversarial Fine-tuning of Compressed Neural Networks for Joint Improvement of Robustness and Efficiency Hallgrimur Thorsteinsson Valdemar J Henriksen Tong Chen Raghavendra Selvan AAML 85 1 0 14 Mar 2024
DeepCDCL: An CDCL-based Neural Network Verification Framework Zongxin Liu Pengfei Yang Lijun Zhang Xiaowei Huang 55 5 0 12 Mar 2024
Verifiable Boosted Tree Ensembles Stefano Calzavara Lorenzo Cazzaro Claudio Lucchese Giulio Ermanno Pibiri AAML 73 0 0 22 Feb 2024
Building Guardrails for Large Language Models Yizhen Dong Ronghui Mu Gao Jin Yi Qi Jinwei Hu Xingyu Zhao Jie Meng Wenjie Ruan Xiaowei Huang OffRL 126 32 0 02 Feb 2024
Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment Shibbir Ahmed Hongyang Gao Hridesh Rajan 74 2 0 26 Jan 2024
Unraveling Attacks in Machine Learning-based IoT Ecosystems: A Survey and the Open Libraries Behind Them Chao-Jung Liu Boxi Chen Wei Shao Chris Zhang Kelvin Wong Yi Zhang 96 3 0 22 Jan 2024
Confidence Preservation Property in Knowledge Distillation Abstractions Dmitry Vengertsev Elena Sherman 70 1 0 21 Jan 2024
Harnessing Neuron Stability to Improve DNN Verification Hai V. Duong Dong Xu ThanhVu Nguyen Matthew B. Dwyer 60 7 0 19 Jan 2024
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing Y. Elboher R. Elsaleh Omri Isac Mélanie Ducoffe Audrey Galametz Guillaume Povéda Ryma Boumazouza Noémie Cohen Guy Katz AAML 94 4 0 08 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 70 1 0 08 Jan 2024
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence Justus Renkhoff Ke-ke Feng Marc Meier-Doernberg Alvaro Velasquez Houbing Herbert Song 93 8 0 06 Jan 2024
Towards Efficient Verification of Quantized Neural Networks Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett MQ 78 12 0 20 Dec 2023
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 49 1 0 17 Dec 2023