Gagandeep Singh
Gagandeep Singh
PhD Student, Department of Computer Science, ETH Zurich
E-mail confirmado em inf.ethz.ch - Página inicial
Título
Citado por
Citado por
Ano
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
1172018
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
1082019
Fast polyhedra abstract domain
G Singh, M Püschel, M Vechev
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
502017
Boosting robustness certification of neural networks
G Singh, T Gehr, M Püschel, M Vechev
International Conference on Learning Representations, 2018
47*2018
Making Numerical Program Analysis Fast
G Singh, M Püschel, M Vechev
Programming Language Design and Implementation (PLDI) 50 (6), 303-313, 2015
312015
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
192017
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
152019
Fast Numerical Program Analysis with Reinforcement Learning
G Singh, M Püschel, M Vechev
International Conference on Computer Aided Verification, 211-229, 2018
152018
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
102019
A Provable Defense for Deep Residual Networks
M Mirman, G Singh, M Vechev
arXiv preprint arXiv:1903.12519, 2019
62019
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
12020
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
12020
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models
R Dang-Nhu, G Singh, P Bielik, M Vechev
arXiv preprint arXiv:2003.03778, 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
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
J Maurer, G Singh, M Mirman, T Gehr, A Hoffmann, M Balunovic, ...
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–19