Takip et
Christopher Lazarus
Christopher Lazarus
Stanford University
stanford.edu üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
6912019
Algorithms for Verifying Deep Neural Networks
C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer
arXiv preprint arXiv:1903.06758, 2019
4772019
Runtime safety assurance using reinforcement learning
C Lazarus, JG Lopez, MJ Kochenderfer
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020
282020
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
12
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
92021
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
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
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–9