Gagandeep Singh
Gagandeep Singh
PhD Student, Department of Computer Science, ETH Zurich
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
Fast and effective robustness certification
G Singh, T Gehr, M Mirman, M Püschel, M Vechev
Advances in Neural Information Processing Systems, 10802-10813, 2018
1272018
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
1192019
Fast polyhedra abstract domain
G Singh, M Püschel, M Vechev
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
552017
Boosting robustness certification of neural networks
G Singh, T Gehr, M Püschel, M Vechev
International Conference on Learning Representations, 2018
53*2018
Making Numerical Program Analysis Fast
G Singh, M Püschel, M Vechev
Programming Language Design and Implementation (PLDI) 50 (6), 303-313, 2015
322015
Certifying geometric robustness of neural networks
M Balunovic, M Baader, G Singh, T Gehr, M Vechev
Advances in Neural Information Processing Systems, 15313-15323, 2019
212019
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
212017
Fast Numerical Program Analysis with Reinforcement Learning
G Singh, M Püschel, M Vechev
International Conference on Computer Aided Verification, 211-229, 2018
202018
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, 15098-15109, 2019
172019
A Provable Defense for Deep Residual Networks
M Mirman, G Singh, M Vechev
arXiv preprint arXiv:1903.12519, 2019
72019
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
42020
Fast and Effective Robustness Certification for Recurrent Neural Networks
W Ryou, J Chen, M Balunovic, G Singh, A Dan, M Vechev
arXiv preprint arXiv:2005.13300, 2020
22020
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models
R Dang-Nhu, G Singh, P Bielik, M Vechev
International Conference on Machine Learning, 2020
12020
Scalable Inference of Symbolic Adversarial Examples
DI Dimitrov, G Singh, T Gehr, M Vechev
arXiv preprint arXiv:2007.12133, 2020
2020
Neural Network Robustness Verification on GPUs
C Müller, G Singh, M Püschel, M Vechev
arXiv preprint arXiv:2007.10868, 2020
2020
Scalable Automated Reasoning for Programs and Deep Learning
G Singh
ETH Zurich, 2020
2020
Certifying Neural Network Audio Classifiers
W Ryou, M Balunovic, G Singh, M Vechev
2019
Fast Algorithms for Octagon Abstract Domain
G Singh
ETH-Zürich, 2014
2014
Using Dynamic Analysis to Discover Polynomial and Array Invariants
G Singh
2013
ERAN User Manual
G Singh, M Balunovic, A Ruoss, C Müller, J Maurer, A Hoffmann, ...
The system can't perform the operation now. Try again later.
Articles 1–20