Christopher Lazarus

According to our database, Christopher Lazarus authored at least 7 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Deep Binary Reinforcement Learning for Scalable Verification.

Christopher Lazarus, Mykel J. Kochenderfer

CoRR, 2022

2021

Algorithms for Verifying Deep Neural Networks.

Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, Mykel J. Kochenderfer

Found. Trends Optim., 2021

A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks.

Christopher Lazarus, Mykel J. Kochenderfer

Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021

2020

Runtime Safety Assurance Using Reinforcement Learning.

Christopher Lazarus, James G. Lopez, Mykel J. Kochenderfer

CoRR, 2020

2019

Algorithms for Verifying Deep Neural Networks.

Changliu Liu, Tomer Arnon, Christopher Lazarus, Clark W. Barrett, Mykel J. Kochenderfer

CoRR, 2019

The Marabou Framework for Verification and Analysis of Deep Neural Networks.

Guy Katz, Derek A. Huang, Duligur Ibeling, Kyle Julian, Christopher Lazarus, Rachel Lim, Parth Shah, Shantanu Thakoor, Haoze Wu, Aleksandar Zeljic, David L. Dill, Mykel J. Kochenderfer, Clark W. Barrett

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2015

Pareto-Dominance Based MOGP for Evolving Soccer Agents.

Christopher Lazarus

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015