Follow
Christopher Lazarus
Title
Cited by
Cited by
Year
The marabou framework for verification and analysis of deep neural networks
G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ...
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
5342019
Algorithms for Verifying Deep Neural Networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
3812019
Runtime safety assurance using reinforcement learning
C Lazarus, JG Lopez, MJ Kochenderfer
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020
222020
Algorithms for verifying deep neural networks. Found. Trends Optim. 4 (3–4), 244–404 (2021)
C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer
10
Algorithms for verifying deep neural networks (2019)
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arxiv:1903.06758, 2019
72019
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks
C Lazarus, MJ Kochenderfer
International Joint Conference on Artificial Intelligence (IJCAI), AI Safety …, 2021
62021
NeuralVerification.jl: Algorithms for Verifying Deep Neural Networks
C Liu, T Arnon, C Lazarus, MJ Kochenderfer
4*
Deep Binary Reinforcement Learning for Scalable Verification
C Lazarus, MJ Kochenderfer
arXiv preprint arXiv:2203.05704, 2022
2022
Trustworthy Machine Learning by Efficiently Verifying Compressed Models
C Lazarus
Stanford University, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–9