Matthew Mirman

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen et al. · 2018 · 813 citations · Full text

Computing, Computer Science, Artificial Intelligence +15

Differentiable Abstract Interpretation for Provably Robust Neural Networks

Matthew Mirman, Timon Gehr, Martin Vechev · International Conference on Machine Learning · 2018 · 310 citations

Computing, Computer Science, Mathematics +12

Fast and Effective Robustness Certification

Gagandeep Singh, Timon Gehr, Matthew Mirman et al. · neural information processing systems · 2018 · 261 citations

Computing, Computer Engineering, Computer Science +10

A Provable Defense for Deep Residual Networks

Matthew Mirman, Gagandeep Singh, Martin Vechev · arXiv (Cornell University) · 2019 · 17 citations · Full text

Computing, Computer Science, Artificial Intelligence +12

Ten simple rules for using large language models in science, version 1.0

Gabriel Reuben Smith, Carolina Bello, Lalasia Bialic‐Murphy et al. · PLoS Computational Biology · 2024 · 15 citations · Full text

Computing, Computer Science, Natural Language Processing +6