Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Gagandeep Singh

pseudo-Bayesian Neural Networks for detecting Out of Distribution Inputs

Feb 02, 2021
Gagandeep Singh, Deepak Mishra

  Access Paper or Ask Questions

Scalable Inference of Symbolic Adversarial Examples

Jul 26, 2020
Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev

  Access Paper or Ask Questions

Neural Network Robustness Verification on GPUs

Jul 20, 2020
Christoph Müller, Gagandeep Singh, Markus Püschel, Martin Vechev

  Access Paper or Ask Questions

Predicting Mechanical Ventilation Requirement and Mortality in COVID-19 using Radiomics and Deep Learning on Chest Radiographs: A Multi-Institutional Study

Jul 15, 2020
Joseph Bae, Saarthak Kapse, Gagandeep Singh, Tej Phatak, Jeremy Green, Nikhil Madan, Prateek Prasanna

* Joseph Bae and Saarthak Kapse have contributed equally to this work. This manuscript has been submitted for consideration to _European Radiology_. 12 pages, 6 figures, 4 tables 

  Access Paper or Ask Questions

Can tumor location on pre-treatment MRI predict likelihood of pseudo-progression versus tumor recurrence in Glioblastoma? A feasibility study

Jun 16, 2020
Marwa Ismail, Virginia Hill, Volodymyr Statsevych, Evan Mason, Ramon Correa, Prateek Prasanna, Gagandeep Singh, Kaustav Bera, Rajat Thawani, Anant Madabhushi, Manmeet Ahluwalia, Pallavi Tiwari

  Access Paper or Ask Questions

Fast and Effective Robustness Certification for Recurrent Neural Networks

May 27, 2020
Wonryong Ryou, Jiayu Chen, Mislav Balunovic, Gagandeep Singh, Andrei Dan, Martin Vechev

  Access Paper or Ask Questions

Agile Autotuning of a Transprecision Tensor Accelerator Overlay for TVM Compiler Stack

Apr 20, 2020
Dionysios Diamantopoulos, Burkhard Ringlein, Mitra Purandare, Gagandeep Singh, Christoph Hagleitner

* 9 pages, 7 figures 

  Access Paper or Ask Questions

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models

Mar 08, 2020
Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin Vechev

* 15 pages, 6 figures 

  Access Paper or Ask Questions

A Provable Defense for Deep Residual Networks

Mar 29, 2019
Matthew Mirman, Gagandeep Singh, Martin Vechev

  Access Paper or Ask Questions