Gagandeep Singh

If you made any changes in Pure these will be visible here soon.

Fingerprint

Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Scalable Polyhedral Verification of Recurrent Neural Networks

    Ryou, W., Chen, J., Balunovic, M., Singh, G., Dan, A. & Vechev, M., Jul 15 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. Silva, A. & Leino, K. R. (eds.). Springer, p. 225-248 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12759 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Scaling Polyhedral Neural Network Verification on GPUs

    Müller, C., Serre, F., Singh, G., Püschel, M. & Vechev, M., 2021, Proceedings of 4th MLSys Conference. Smola, A., Dimakis, A. & Stoica, I. (eds.). Vol. 3. p. 733-746 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Adversarial attacks on probabilistic autoregressive forecasting models

    Dang-Nhu, R., Singh, G., Bielik, P. & Vechev, M., 2020, 37th International Conference on Machine Learning, ICML 2020. Daume, H. & Singh, A. (eds.). International Machine Learning Society (IMLS), p. 2334-2343 10 p. (37th International Conference on Machine Learning, ICML 2020; vol. PartF168147-3).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Learning fast and precise numerical analysis

    He, J., Singh, G., Püschel, M. & Vechev, M., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 1112-1127 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • An abstract domain for certifying neural networks

    Singh, G., Gehr, T., Püschel, M. & Vechev, M., Jan 2 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, p. 1-30

    Research output: Contribution to journalArticlepeer-review

    Open Access