Christopher Lazarus

Publication Activity (10 Years)

Years Active: 2015-2022
Publications (10 Years): 8

Top Topics

Pareto Dominance

Dantzig Wolfe Decomposition

Mixed Integer Programming

Top Venues

Found. Trends Optim.

Publications

Christopher Lazarus, Mykel J. Kochenderfer
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks. CoRR (2022)
Christopher Lazarus, Mykel J. Kochenderfer
Deep Binary Reinforcement Learning for Scalable Verification. CoRR (2022)
Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, Mykel J. Kochenderfer
Algorithms for Verifying Deep Neural Networks. Found. Trends Optim. 4 (3-4) (2021)
Christopher Lazarus, Mykel J. Kochenderfer
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks. AISafety@IJCAI (2021)
Christopher Lazarus, James G. Lopez, Mykel J. Kochenderfer
Runtime Safety Assurance Using Reinforcement Learning. CoRR (2020)
Changliu Liu, Tomer Arnon, Christopher Lazarus, Clark W. Barrett, Mykel J. Kochenderfer
Algorithms for Verifying Deep Neural Networks. CoRR (2019)
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
The Marabou Framework for Verification and Analysis of Deep Neural Networks. CAV (1) (2019)
Christopher Lazarus
Pareto-Dominance Based MOGP for Evolving Soccer Agents. SSCI (2015)