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 | 1097 | 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 | 825 | 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 | 624 | 2018 |
Differentiable abstract interpretation for provably robust neural networks M Mirman, T Gehr, M Vechev International Conference on Machine Learning, 3578-3586, 2018 | 614 | 2018 |
Boosting robustness certification of neural networks G Singh, T Gehr, M Püschel, M Vechev International conference on learning representations, 2019 | 247* | 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 | 198 | 2019 |
PSI: Exact Symbolic Inference for Probabilistic Programs T Gehr, S Misailovic, M Vechev Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 188 | 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 | 170 | 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 | 143 | 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 | 77 | 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 | 57 | 2020 |
Learning commutativity specifications T Gehr, D Dimitrov, M Vechev Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 52 | 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 | 37 | 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 | 31 | 2021 |
Fine-grained semantics for probabilistic programs B Bichsel, T Gehr, M Vechev Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 30 | 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 | 29 | 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 | 23 | 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 |