NIPS Proceedingsβ

Mislav Balunovic

2 Papers

  • Certifying Geometric Robustness of Neural Networks (2019)
  • Learning to Solve SMT Formulas (2018)