Matthew Mirman
제목
인용
인용
연도
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ...
IEEE S&P, 2018
3882018
Differentiable Abstract Interpretation for Provably Robust Neural Networks
M Mirman, T Gehr, M Vechev
ICML, 2018
2412018
Fast and effective robustness certification
G Singh, T Gehr, M Mirman, M Püschel, M Vechev
Advances in Neural Information Processing Systems (NeurIPS), 10802-10813, 2018
1772018
A provable defense for deep residual networks
M Mirman, G Singh, M Vechev
arXiv preprint arXiv:1903.12519, 2019
122019
Universal approximation with certified networks
M Baader, M Mirman, M Vechev
International Conference on Learning Representations (ICLR), 2020
92020
Online robustness training for deep reinforcement learning
M Fischer, M Mirman, S Stalder, M Vechev
arXiv preprint arXiv:1911.00887, 2019
72019
Robustness certification of generative models
M Mirman, T Gehr, M Vechev
arXiv preprint arXiv:2004.14756, 2020
22020
Distilled Agent DQN for Provable Adversarial Robustness
M Mirman, M Fischer, M Vechev
22018
Training Neural Machines with Trace-Based Supervision
M Mirman, D Dimitrov, P Djordjevich, T Gehr, M Vechev
ICML, 2018
12018
Verification of Generative-Model-Based Visual Transformations
M Mirman, T Gehr, M Vechev
2019
Logic Programming and Type Inference with the Calculus of Constructions
M Mirman
Carnegie Mellon University Pittsburgh, PA, 2014
2014
Modes for Non Strict Functional Logic Languages
M Mirman
2012
Inversion of Quadratic Bézier Triangles
GL Miller, M Mirman, T Phillips
Fall Workshop on Computational Geometry, 2010
2010
Differentiable Abstract Interpretation for Provably Robust Neural Networks Download PDF
M Mirman, T Gehr, M Vechev
ERAN User Manual
G Singh, M Balunovic, A Ruoss, C Müller, J Maurer, A Hoffmann, ...
2018 IEEE Symposium on Security and Privacy
T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ...
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–16