Algorithms for Verifying Deep Neural Networks
Changliu Liu , Tomer Arnon , Christopher Lazarus , Christopher Strong
arXiv: Learning
257
2019
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Guy Katz , Derek A. Huang , Duligur Ibeling , Kyle Julian
Computer Aided Verification 443 -452
354
2019
Deep Binary Reinforcement Learning for Scalable Verification
Christopher Lazarus , Mykel J Kochenderfer
arXiv preprint arXiv:2203.05704
2022
Runtime safety assurance using reinforcement learning
Christopher Lazarus , James G Lopez , Mykel J Kochenderfer
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) 1 -9
22
2020
A mixed integer programming approach for verifying properties of binarized neural networks
Christopher Lazarus , Mykel J Kochenderfer
arXiv preprint arXiv:2203.07078
7
2022
Neuralverification. jl: algorithms for verifying deep neural networks
Changliu Liu , Tomer Arnon , Christopher Lazarus , Mykel J Kochenderfer
ICLR 2019 Debugging Machine Learning Models Workshop
4
2019
Trustworthy Machine Learning by Efficiently Verifying Compressed Models
Christopher Lazarus
Stanford University
1
2022
Algorithms for verifying deep neural networks. Found. Trends Optim. 4 (3–4), 244–404 (2021)
C Liu , T Arnon , C Lazarus , C Strong
10
Algorithms for verifying deep neural networks (2019)
C Liu , T Arnon , C Lazarus , C Barrett
arXiv preprint arxiv:1903.06758
9
2019