Folgen
Christopher Lazarus
Christopher Lazarus
Bestätigte E-Mail-Adresse bei stanford.edu
Titel
Zitiert von
Zitiert von
Jahr
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
6002019
Algorithms for Verifying Deep Neural Networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
4202019
Runtime safety assurance using reinforcement learning
C Lazarus, JG Lopez, MJ Kochenderfer
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020
232020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9