| 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 | 560 | 2019 |
| Algorithms for Verifying Deep Neural Networks C Liu, T Arnon, C Lazarus, C Barrett, MJ Kochenderfer arXiv preprint arXiv:1903.06758, 2019 | 399 | 2019 |
| Runtime safety assurance using reinforcement learning C Lazarus, JG Lopez, MJ Kochenderfer 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-9, 2020 | 22 | 2020 |
| 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 |
| 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 | 9 | |
| 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 | 6 | 2021 |
| 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 |
Mykel J. KochenderferAssociate Professor, Stanford UniversityVerified email at stanford.edu
