| Ai2: Safety and robustness certification of neural networks with abstract interpretation T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ... 2018 IEEE symposium on security and privacy (SP), 3-18, 2018 | 1062 | 2018 |
| An abstract domain for certifying neural networks G Singh, T Gehr, M Püschel, M Vechev Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 801 | 2019 |
| Fast and effective robustness certification G Singh, T Gehr, M Mirman, M Püschel, M Vechev Advances in neural information processing systems 31, 2018 | 596 | 2018 |
| Differentiable abstract interpretation for provably robust neural networks M Mirman, T Gehr, M Vechev International Conference on Machine Learning, 3578-3586, 2018 | 592 | 2018 |
| Boosting robustness certification of neural networks G Singh, T Gehr, M Püschel, M Vechev International conference on learning representations, 2019 | 240* | 2019 |
| DL2: training and querying neural networks with logic M Fischer, M Balunovic, D Drachsler-Cohen, T Gehr, C Zhang, M Vechev International Conference on Machine Learning, 1931-1941, 2019 | 186 | 2019 |
| PSI: Exact Symbolic Inference for Probabilistic Programs T Gehr, S Misailovic, M Vechev Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 180 | 2016 |
| Silq: A high-level quantum language with safe uncomputation and intuitive semantics B Bichsel, M Baader, T Gehr, M Vechev Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 158 | 2020 |
| Certifying geometric robustness of neural networks M Balunovic, M Baader, G Singh, T Gehr, M Vechev Advances in Neural Information Processing Systems 32, 2019 | 135 | 2019 |
| Dp-finder: Finding differential privacy violations by sampling and optimization B Bichsel, T Gehr, D Drachsler-Cohen, P Tsankov, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 72 | 2018 |
| Probabilistic verification of network configurations S Steffen, T Gehr, P Tsankov, L Vanbever, M Vechev Proceedings of the Annual conference of the ACM Special Interest Group on …, 2020 | 54 | 2020 |
| Learning commutativity specifications T Gehr, D Dimitrov, M Vechev Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 51 | 2015 |
| λPSI: exact inference for higher-order probabilistic programs T Gehr, S Steffen, M Vechev Proceedings of the 41st acm sigplan conference on programming language …, 2020 | 35 | 2020 |
| Fine-grained semantics for probabilistic programs B Bichsel, T Gehr, M Vechev Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 29 | 2018 |
| Bayonet: probabilistic inference for networks T Gehr, S Misailovic, P Tsankov, L Vanbever, P Wiesmann, M Vechev ACM SIGPLAN Notices 53 (4), 586-602, 2018 | 27 | 2018 |
| 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 | 26 | 2021 |
| Synthesis of probabilistic privacy enforcement M Kučera, P Tsankov, T Gehr, M Guarnieri, M Vechev Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 22 | 2017 |
| Incremental inference for probabilistic programs M Cusumano-Towner, B Bichsel, T Gehr, M Vechev, VK Mansinghka Proceedings of the 39th acm sigplan conference on programming language …, 2018 | 20 | 2018 |
| Provably robust adversarial examples DI Dimitrov, G Singh, T Gehr, M Vechev arXiv preprint arXiv:2007.12133, 2020 | 12 | 2020 |
| Training Neural Machines with Partial Traces M Mirman, D Dimitrov, P Djordjevich, T Gehr, M Vechev | 3* | 2018 |
