Seguir
Christopher Lazarus
Christopher Lazarus
Stanford University
Dirección de correo verificada de stanford.edu
Título
Citado por
Citado por
Año
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
6622019
Algorithms for Verifying Deep Neural Networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
4662019
Runtime safety assurance using reinforcement learning
C Lazarus, JG Lopez, MJ Kochenderfer
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020
262020
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
9*2019
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
72021
NeuralVerification.jl: Algorithms for Verifying Deep Neural Networks
C Liu, T Arnon, C Lazarus, MJ Kochenderfer
4*
Trustworthy Machine Learning by Efficiently Verifying Compressed Models
C Lazarus
Stanford University, 2022
12022
Deep Binary Reinforcement Learning for Scalable Verification
C Lazarus, MJ Kochenderfer
arXiv preprint arXiv:2203.05704, 2022
2022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–9