Mirman, Matthew

4 publications

ICLR 2020 Universal Approximation with Certified Networks Maximilian Baader, Matthew Mirman, Martin Vechev

ICML 2018 Differentiable Abstract Interpretation for Provably Robust Neural Networks Matthew Mirman, Timon Gehr, Martin Vechev

NeurIPS 2018 Fast and Effective Robustness Certification Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev

ICML 2018 Training Neural Machines with Trace-Based Supervision Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevic, Timon Gehr, Martin Vechev