NIPS Proceedingsβ

Martin Vechev

2 Papers

  • Fast and Effective Robustness Certification (2018)
  • Learning to Solve SMT Formulas (2018)