Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Verifiably Safe Exploration for End-to-End Reinforcement Learning

Jul 02, 2020
Nathan Hunt, Nathan Fulton, Sara Magliacane, Nghia Hoang, Subhro Das, Armando Solar-Lezama


  Access Paper or Ask Questions

Formal Verification of End-to-End Learning in Cyber-Physical Systems: Progress and Challenges

Jun 15, 2020
Nathan Fulton, Nathan Hunt, Nghia Hoang, Subhro Das

* 7 pages, 4 figures. NeurIPS Workshop on Safety and Robustness in Decision Making, 2019 

  Access Paper or Ask Questions

On the Design of Black-box Adversarial Examples by Leveraging Gradient-free Optimization and Operator Splitting Method

Jul 26, 2019
Pu Zhao, Sijia Liu, Pin-Yu Chen, Nghia Hoang, Kaidi Xu, Bhavya Kailkhura, Xue Lin

* accepted by ICCV 2019 

  Access Paper or Ask Questions