| 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 | 388 | 2018 |
| Differentiable abstract interpretation for provably robust neural networks M Mirman, T Gehr, M Vechev International Conference on Machine Learning, 3578-3586, 2018 | 241 | 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 | 181 | 2019 |
| Fast and Effective Robustness Certification. G Singh, T Gehr, M Mirman, M Püschel, MT Vechev NeurIPS 1 (4), 6, 2018 | 177 | 2018 |
| PSI: Exact Symbolic Inference for Probabilistic Programs T Gehr, S Misailovic, M Vechev International Conference on Computer Aided Verification, 62-83, 2016 | 89 | 2016 |
| Boosting Robustness Certification of Neural Networks. G Singh, T Gehr, M Püschel, MT Vechev ICLR (Poster), 2019 | 72* | 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 | 39 | 2019 |
| Certifying geometric robustness of neural networks M Balunović, M Baader, G Singh, T Gehr, M Vechev Advances in Neural Information Processing Systems 32, 2019 | 37 | 2019 |
| Learning commutativity specifications T Gehr, D Dimitrov, M Vechev International Conference on Computer Aided Verification, 307-323, 2015 | 33 | 2015 |
| 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 | 28 | 2018 |
| Fine-grained semantics for probabilistic programs B Bichsel, T Gehr, M Vechev European Symposium on Programming, 145-185, 2018 | 20 | 2018 |
| 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 | 16 | 2020 |
| 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 | 14 | 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 | 14 | 2018 |
| 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 | 13 | 2017 |
| λ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 | 4 | 2020 |
| Robustness certification of generative models M Mirman, T Gehr, M Vechev arXiv preprint arXiv:2004.14756, 2020 | 2 | 2020 |
| 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 | 1 | 2020 |
| Training Neural Machines with Partial Traces M Mirman, D Dimitrov, P Djordjevich, T Gehr, M Vechev | 1* | 2018 |
| Scalable Inference of Symbolic Adversarial Examples DI Dimitrov, G Singh, T Gehr, M Vechev arXiv preprint arXiv:2007.12133, 2020 | | 2020 |
