Verification for Machine Learning, Autonomy, and Neural Networks Survey

3 October 2018

Nathaniel P. Hamilton

Papers citing "Verification for Machine Learning, Autonomy, and Neural Networks Survey"

22 / 22 papers shown

Title
Generative Artificial Intelligence Reproducibility and Consensus Edward J. Kim I. Isozaki N. Sirkin Michael Robson 36 0 0 04 Jul 2023
Reachability Analysis of Neural Networks with Uncertain Parameters Pierre-Jean Meyer 18 0 0 14 Mar 2023
Provable Fairness for Neural Network Models using Formal Verification Giorgian Borca-Tasciuc Xingzhi Guo Stanley Bak Steven Skiena 24 4 0 16 Dec 2022
Comparative analysis of real bugs in open-source Machine Learning projects -- A Registered Report Tuan Dung Lai Anj Simmons Scott Barnett Jean-Guy Schneider Rajesh Vasa 19 1 0 20 Sep 2022
SoK: Explainable Machine Learning for Computer Security Applications A. Nadeem D. Vos Clinton Cao Luca Pajola Simon Dieck Robert Baumgartner S. Verwer 34 40 0 22 Aug 2022
Verification of Sigmoidal Artificial Neural Networks using iSAT Dominik Grundt Sorin Liviu Jurj Willem Hagemann P. Kröger M. Fränzle 38 2 0 14 Jul 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 Song Dong AAML 32 43 0 24 Jun 2022
Agility in Software 2.0 -- Notebook Interfaces and MLOps with Buttresses and Rebars Markus Borg 11 13 0 28 Nov 2021
Reachability analysis of neural networks using mixed monotonicity Pierre-Jean Meyer 54 8 0 15 Nov 2021
Bisimulations for Neural Network Reduction P. Prabhakar 39 6 0 07 Oct 2021
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021
A Novel Framework for Threat Analysis of Machine Learning-based Smart Healthcare Systems Nur Imtiazul Haque M. Rahman Md Hasan Shahriar Alvi Ataur Khalil Selcuk Uluagac 32 14 0 05 Mar 2021
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 35 62 0 18 Jul 2020
Certifying Decision Trees Against Evasion Attacks by Program Analysis Stefano Calzavara Pietro Ferrara Claudio Lucchese AAML 29 10 0 06 Jul 2020
Neural Simplex Architecture Dung Phan Radu Grosu N. Jansen Nicola Paoletti S. Smolka Scott D. Stoller 22 61 0 01 Aug 2019
Machine Learning Testing: Survey, Landscapes and Horizons Jie M. Zhang Mark Harman Lei Ma Yang Liu VLM AILaw 39 741 0 19 Jun 2019
Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges Rob Ashmore R. Calinescu Colin Paterson AI4TS 27 116 0 10 May 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 393 0 15 Mar 2019
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems Denise Ratasich Faiq Khalid Florian Geissler Radu Grosu Mohamed Bennai E. Bartocci 27 102 0 16 Oct 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 88 293 0 09 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 249 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016