Matthew Mirman
Publications by Year
Research Areas
Adversarial Robustness in Machine Learning, Explainable Artificial Intelligence (XAI), Topic Modeling, Formal Methods in Verification, Natural Language Processing Techniques
Most-Cited Works
- → AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation(2018)801 cited
- Differentiable Abstract Interpretation for Provably Robust Neural Networks(2018)
- Fast and Effective Robustness Certification(2018)
- → A Provable Defense for Deep Residual Networks(2019)17 cited
- → Ten simple rules for using large language models in science, version 1.0(2024)13 cited
- → Online Robustness Training for Deep Reinforcement Learning(2019)12 cited
- Distilled Agent DQN for Provable Adversarial Robustness(2018)
- → Replication Package for Robustness Certification with Generative Models(2021)5 cited
- → Universal Approximation with Certified Networks(2020)4 cited
- → Robustness certification with generative models(2021)3 cited