NIPS Proceedings^β

Osbert Bastani

2 Papers

Verifiable Reinforcement Learning via Policy Extraction (2018)

Measuring Neural Net Robustness with Constraints (2016)