Matthew Mirman

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Fundamental Limits

Interval Arithmetic

Generative Model

Top Venues

IEEE Symposium on Security and Privacy

Publications

Gabriel Reuben Smith, Carolina Bello, Lalasia Bialic-Murphy, Emily Clark, Camille S. Delavaux, Camille Fournier de Lauriere, Johan van den Hoogen, Thomas Lauber, Haozhi Ma, Daniel S. Maynard, Matthew Mirman, Lidong Mo, Dominic Rebindaine, Josephine Elena Reek, Leland K. Werden, Zhaofei Wu, Gayoung Yang, Qingzhou Zhao, Constantin M. Zohner, Thomas Ward Crowther
Ten simple rules for using large language models in science, version 1.0. PLoS Comput. Biol. 20 (1) (2024)
Abhigya Sodani, Lauren Moos, Matthew Mirman
LLM Guided Inductive Inference for Solving Compositional Problems. CoRR (2023)
Matthew Mirman, Maximilian Baader, Martin T. Vechev
The Fundamental Limits of Neural Networks for Interval Certified Robustness. Trans. Mach. Learn. Res. 2022 (2022)
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, Martin T. Vechev
Robustness certification with generative models. PLDI (2021)
Matthew Mirman, Maximilian Baader, Martin T. Vechev
The Fundamental Limits of Interval Arithmetic for Neural Networks. CoRR (2021)
Maximilian Baader, Matthew Mirman, Martin T. Vechev
Universal Approximation with Certified Networks. ICLR (2020)
Matthew Mirman, Timon Gehr, Martin T. Vechev
Robustness Certification of Generative Models. CoRR (2020)
Matthew Mirman, Gagandeep Singh, Martin T. Vechev
A Provable Defense for Deep Residual Networks. CoRR (2019)
Maximilian Baader, Matthew Mirman, Martin T. Vechev
Universal Approximation with Certified Networks. CoRR (2019)
Marc Fischer, Matthew Mirman, Steven Stalder, Martin T. Vechev
Online Robustness Training for Deep Reinforcement Learning. CoRR (2019)
Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin T. Vechev
Fast and Effective Robustness Certification. NeurIPS (2018)
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. IEEE Symposium on Security and Privacy (2018)
Matthew Mirman, Timon Gehr, Martin T. Vechev
Differentiable Abstract Interpretation for Provably Robust Neural Networks. ICML (2018)
Matthew Mirman, Dimitar K. Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev
Training Neural Machines with Trace-Based Supervision. ICML (2018)