팔로우
Gagandeep Singh
Gagandeep Singh
Assistant Professor, Department of Computer Science, UIUC
illinois.edu의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
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
4242019
Fast and effective robustness certification
G Singh, T Gehr, M Mirman, M Püschel, M Vechev
Advances in neural information processing systems 31, 2018
3652018
Boosting robustness certification of neural networks
G Singh, T Gehr, M Püschel, M Vechev
International Conference on Learning Representations, 2018
147*2018
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
1132019
Fast polyhedra abstract domain
G Singh, M Püschel, M Vechev
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
922017
Certifying geometric robustness of neural networks
M Balunovic, M Baader, G Singh, T Gehr, M Vechev
Advances in Neural Information Processing Systems 32, 2019
862019
Making Numerical Program Analysis Fast
G Singh, M Püschel, M Vechev
Programming Language Design and Implementation (PLDI) 50 (6), 303-313, 2015
462015
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
37*2022
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
32*2021
Fast Numerical Program Analysis with Reinforcement Learning
G Singh, M Püschel, M Vechev
International Conference on Computer Aided Verification, 211-229, 2018
322018
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
322017
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
24*2021
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
212020
A Provable Defense for Deep Residual Networks
M Mirman, G Singh, M Vechev
arXiv preprint arXiv:1903.12519, 2019
202019
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
132021
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models
R Dang-Nhu, G Singh, P Bielik, M Vechev
International Conference on Machine Learning, 2020
132020
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
62021
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
52022
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
52021
Training Certifiably Robust Neural Networks Against Semantic Perturbations
R Yang, J Laurel, S Misailovic, G Singh
arXiv e-prints, arXiv: 2207.11177, 2022
12022
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20