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

Search results

  • 2021

    Robustness Certification for Point Cloud Models

    Lorenz, T., Ruoss, A., Balunović, M., Singh, G. & Vechev, M., 2021, Proceedings - 2021 IEEE/CVF International Conference on Computer Vision, ICCV 2021. Institute of Electrical and Electronics Engineers Inc., p. 7588-7598 11 p. (Proceedings of the IEEE International Conference on Computer Vision).

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

  • 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

  • 2020

    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

  • 2019

    Robustness Certification with Refinement

    Singh, G., Gehr, T., Püschel, M. & Vechev, M., 2019, International Conference on Learning Representations.

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

  • 2018

    Fast numerical program analysis with reinforcement learning

    Singh, G., Püschel, M. & Vechev, M., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer, p. 211-229 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

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

    Open Access
  • 2017

    Fast polyhedra abstract domain

    Singh, G., Püschel, M. & Vechev, M., Jan 1 2017, POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. Gordon, A. D. & Castagna, G. (eds.). Association for Computing Machinery, p. 46-59 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

  • 2015

    Making numerical program analysis fast

    Singh, G., Püschel, M. & Vechev, M., Jun 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 303-313 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

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