| 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 |
| Boosting robustness certification of neural networks G Singh, T Gehr, M Püschel, M Vechev International conference on learning representations, 2019 | 240* | 2019 |
| Beyond the single neuron convex barrier for neural network certification G Singh, R Ganvir, M Püschel, M Vechev Advances in Neural Information Processing Systems 32, 15098-15109, 2019 | 216 | 2019 |
| PRIMA: general and precise neural network certification via scalable convex hull approximations. MN Müller, G Makarchuk, G Singh, M Püschel, MT Vechev Proc. ACM Program. Lang. 6 (POPL), 1-33, 2022 | 137* | 2022 |
| 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 |
| Fast polyhedra abstract domain G Singh, M Püschel, M Vechev Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 134 | 2017 |
| Scaling polyhedral neural network verification on GPUs C Müller, F Serre, G Singh, M Püschel, M Vechev Proceedings of Machine Learning and Systems 3, 733-746, 2021 | 70* | 2021 |
| Making Numerical Program Analysis Fast G Singh, M Püschel, M Vechev Programming Language Design and Implementation (PLDI) 50 (6), 303-313, 2015 | 59 | 2015 |
| Scalable Polyhedral Verification of Recurrent Neural Networks W Ryou, J Chen, M Balunovic, G Singh, A Dan, M Vechev International Conference on Computer Aided Verification, 225-248, 2021 | 47* | 2021 |
| A practical construction for decomposing numerical abstract domains G Singh, M Püschel, M Vechev Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 46 | 2017 |
| Fast numerical program analysis with reinforcement learning G Singh, M Püschel, M Vechev Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 39 | 2018 |
| Robustness certification for point cloud models T Lorenz, A Ruoss, M Balunović, G Singh, M Vechev Proceedings of the IEEE/CVF International Conference on Computer Vision …, 2021 | 31 | 2021 |
| Adversarial Attacks on Probabilistic Autoregressive Forecasting Models R Dang-Nhu, G Singh, P Bielik, M Vechev International Conference on Machine Learning, 2020 | 28 | 2020 |
| Learning fast and precise numerical analysis J He, G Singh, M Püschel, M Vechev Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 28 | 2020 |
| FIRE: enabling reciprocity for FDD MIMO systems Z Liu, G Singh, C Xu, D Vasisht Proceedings of the 27th Annual International Conference on Mobile Computing …, 2021 | 25 | 2021 |
| A Provable Defense for Deep Residual Networks M Mirman, G Singh, M Vechev arXiv preprint arXiv:1903.12519, 2019 | 24 | 2019 |
| A dual number abstraction for static analysis of Clarke Jacobians J Laurel, R Yang, G Singh, S Misailovic Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 18 | 2022 |
| Improving LLM Code Generation with Grammar Augmentation S Ugare, T Suresh, H Kang, S Misailovic, G Singh arXiv preprint arXiv:2403.01632, 2024 | 16 | 2024 |
| Organizational level responses to the COVID-19 outbreak: Challenges, strategies and framework for academic institutions J Biswakarma, D Rushworth, G Srivastava, G Singh, K Kang, S Das, ... Frontiers in Communication 6, 573585, 2021 | 16 | 2021 |
Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Verified email at inf.ethz.ch
