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 | 972 | 2018 |
Differentiable Abstract Interpretation for Provably Robust Neural Networks M Mirman, T Gehr, M Vechev ICML, 2018 | 560 | 2018 |
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 | 549 | 2018 |
Online robustness training for deep reinforcement learning M Fischer, M Mirman, S Stalder, M Vechev arXiv preprint arXiv:1911.00887, 2019 | 47* | 2019 |
Universal approximation with certified networks M Baader, M Mirman, M Vechev International Conference on Learning Representations (ICLR), 2020 | 26 | 2020 |
Robustness certification with generative models M Mirman, A Hägele, P Bielik, T Gehr, M Vechev Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 24 | 2021 |
A provable defense for deep residual networks M Mirman, G Singh, M Vechev arXiv preprint arXiv:1903.12519, 2019 | 23 | 2019 |
The fundamental limits of interval arithmetic for neural networks M Mirman, M Baader, M Vechev arXiv preprint arXiv:2112.05235, 2021 | 6 | 2021 |
Training Neural Machines with Trace-Based Supervision M Mirman, D Dimitrov, P Djordjevich, T Gehr, M Vechev ICML, 2018 | 3 | 2018 |
The fundamental limits of neural networks for interval certified robustness MB Mirman, M Baader, M Vechev | 2 | 2022 |
Certified Deep Learning: Verification and Training M Mirman ETH Zurich, 2022 | | 2022 |
Training Neural Machines with Partial Traces M Mirman, D Dimitrov, P Djordjevich, T Gehr, M Vechev | | 2018 |
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 |
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, ... | | |