| 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 | 710 | 2018 |
| Differentiable Abstract Interpretation for Provably Robust Neural Networks M Mirman, T Gehr, M Vechev ICML, 2018 | 439 | 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 | 393 | 2018 |
| Online robustness training for deep reinforcement learning M Fischer, M Mirman, S Stalder, M Vechev arXiv preprint arXiv:1911.00887, 2019 | 29* | 2019 |
| A provable defense for deep residual networks M Mirman, G Singh, M Vechev arXiv preprint arXiv:1903.12519, 2019 | 21 | 2019 |
| Universal approximation with certified networks M Baader, M Mirman, M Vechev International Conference on Learning Representations (ICLR), 2020 | 17 | 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 | 10 | 2021 |
| The fundamental limits of interval arithmetic for neural networks M Mirman, M Baader, M Vechev arXiv preprint arXiv:2112.05235, 2021 | 7 | 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 Transactions on Machine Learning Research, 2022 | | 2022 |
| Certified Deep Learning: Verification and Training M Mirman ETH Zurich, 2022 | | 2022 |
| 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 |
| Training Neural Machines with Partial Traces M Mirman, D Dimitrov, P Djordjevich, 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, ... | | |
Martin VechevProfessor of Computer Science, ETH ZurichBestätigte E-Mail-Adresse bei inf.ethz.ch
