NIPS Proceedingsβ

Junfeng Yang

1 Paper

  • Efficient Formal Safety Analysis of Neural Networks (2018)