The fundamental limits of neural networks for interval certified robustness
Matthew B Mirman , Maximilian Baader , Martin Vechev
2
2022
Training Neural Machines with Trace-Based Supervision.
Martin T. Vechev , Timon Gehr , Dimitar I. Dimitrov , Matthew Mirman
international conference on machine learning 3566 -3574
3
2018
Differentiable Abstract Interpretation for Provably Robust Neural Networks
Timon Gehr , Matthew Mirman , Martin T. Vechev
international conference on machine learning 3578 -3586
443
2018
Fast and Effective Robustness Certification
Martin T. Vechev , Timon Gehr , Markus Püschel , Gagandeep Singh
neural information processing systems 31 10802 -10813
399
2018
A Provable Defense for Deep Residual Networks.
Martin T. Vechev , Gagandeep Singh , Matthew Mirman
arXiv: Learning
21
2019
Universal Approximation with Certified Networks
Martin Vechev , Matthew Mirman , Maximilian Baader
arXiv: Learning
18
2019
Online Robustness Training for Deep Reinforcement Learning.
Martin T. Vechev , Marc Fischer , Matthew Mirman , Steven Stalder
arXiv: Learning
27
2019
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Timon Gehr , Matthew Mirman , Dana Drachsler-Cohen , Petar Tsankov
2018 IEEE Symposium on Security and Privacy (SP) 3 -18
719
2018
Certified Deep Learning: Verification and Training
Matthew Mirman
Smpte Journal
2022
Ten simple rules for using large language models in science, version 1.0
Gabriel Reuben Smith , Carolina Bello , Lalasia Bialic-Murphy , Emily Clark
PLOS Computational Biology 20 ( 1) e1011767 -e1011767
2024
Inversion of Quadratic Bézier Triangles
Gary L Miller , Matthew Mirman , Todd Phillips
2018 IEEE Symposium on Security and Privacy
Timon Gehr , Matthew Mirman , Dana Drachsler-Cohen , Petar Tsankov
Robustness certification with generative models
Matthew Mirman , Alexander Hägele , Pavol Bielik , Timon Gehr
1141 -1154
25
2021
ERAN User Manual
Gagandeep Singh , Mislav Balunovic , Anian Ruoss , Christoph Müller
2020
ETH robustness analyzer for neural networks (ERAN), 2020
Gagandeep Singh , Jonathan Maurer , Christoph Müller , Matthew Mirman
URL https://github. com/eth-sri/eran
12
Distilled agent DQN for provable adversarial robustness, 2018
Matthew Mirman , Marc Fischer , Martin Vechev
URL https://openreview. net/forum
9
2024
LLM Guided Inductive Inference for Solving Compositional Problems
Abhigya Sodani , Lauren Moos , Matthew Mirman
arXiv preprint arXiv:2309.11688
2023
Logic Programming and Type Inference with the Calculus of Constructions
Matthew Mirman
Carnegie Mellon University Pittsburgh, PA
2014
Modes for Non Strict Functional Logic Languages
Matthew Mirman
2012