NIPS Proceedingsβ

Suman Jana

1 Paper

  • Efficient Formal Safety Analysis of Neural Networks (2018)