NIPS Proceedingsβ

Osbert Bastani

2 Papers

  • Verifiable Reinforcement Learning via Policy Extraction (2018)
  • Measuring Neural Net Robustness with Constraints (2016)