Deep Binary Reinforcement Learning for Scalable Verification

Deep Binary Reinforcement Learning for Scalable Verification

11 March 2022

Christopher Lazarus

Mykel J. Kochenderfer

ArXiv (abs)PDF HTML

Papers citing "Deep Binary Reinforcement Learning for Scalable Verification"

13 / 13 papers shown

Title
A Mixed Integer Programming Approach for Verifying Properties of Binarized Neural Networks Christopher Lazarus Mykel J. Kochenderfer AAML 56 9 0 11 Mar 2022
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 53 58 0 05 Nov 2020
Reinforcement Learning with Iterative Reasoning for Merging in Dense Traffic Maxime Bouton A. Nakhaei David Isele K. Fujimura Mykel J. Kochenderfer 115 34 0 25 May 2020
Efficient Exact Verification of Binarized Neural Networks Kai Jia Martin Rinard AAML MQ 39 59 0 07 May 2020
Time Series Forecasting With Deep Learning: A Survey Bryan Lim S. Zohren AI4TS AI4CE 118 1,240 0 28 Apr 2020
Binary Neural Networks: A Survey Haotong Qin Ruihao Gong Xianglong Liu Xiao Bai Jingkuan Song N. Sebe MQ 134 471 0 31 Mar 2020
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 98 403 0 15 Mar 2019
Deep Neural Network Compression for Aircraft Collision Avoidance Systems Kyle D. Julian Mykel J. Kochenderfer Michael P. Owen 57 173 0 09 Oct 2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey Weiming Xiang Patrick Musau A. Wild Diego Manzanas Lopez Nathaniel P. Hamilton Xiaodong Yang Joel A. Rosenfeld Taylor T. Johnson 72 102 0 03 Oct 2018
Verifying Properties of Binarized Deep Neural Networks Nina Narodytska S. Kasiviswanathan L. Ryzhyk Shmuel Sagiv T. Walsh AAML 71 217 0 19 Sep 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 327 1,875 0 03 Feb 2017
The Limitations of Deep Learning in Adversarial Settings Nicolas Papernot Patrick McDaniel S. Jha Matt Fredrikson Z. Berkay Celik A. Swami AAML 120 3,968 0 24 Nov 2015
Playing Atari with Deep Reinforcement Learning Volodymyr Mnih Koray Kavukcuoglu David Silver Alex Graves Ioannis Antonoglou Daan Wierstra Martin Riedmiller 134 12,272 0 19 Dec 2013