Matthew Mirman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2018–2021
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PLDI | Robustness certification with generative models. | Matthew Mirman, Alexander Hgele, Pavol Bielik, Timon Gehr, Martin T. Vechev |
| 2020 | ICLR | Universal Approximation with Certified Networks. | Maximilian Baader, Matthew Mirman, Martin T. Vechev |
| 2018 | ICML | Training Neural Machines with Trace-Based Supervision. | Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev |
| 2018 | ICML | Differentiable Abstract Interpretation for Provably Robust Neural Networks. | Matthew Mirman, Timon Gehr, Martin T. Vechev |
| 2018 | SP | AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. | Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev |