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

Robustness Certification for Point Cloud Models


Mar 30, 2021
Tobias Lorenz, Anian Ruoss, Mislav Balunović, Gagandeep Singh, Martin Vechev


  Access Paper or Ask Questions

Radiomic Deformation and Textural Heterogeneity (R-DepTH) Descriptor to characterize Tumor Field Effect: Application to Survival Prediction in Glioblastoma


Mar 12, 2021
Marwa Ismail, Prateek Prasanna, Kaustav Bera, Volodymyr Statsevych, Virginia Hill, Gagandeep Singh, Sasan Partovi, Niha Beig, Sean McGarry, Peter Laviolette, Manmeet Ahluwalia, Anant Madabhushi, Pallavi Tiwari


  Access Paper or Ask Questions

Precise Multi-Neuron Abstractions for Neural Network Certification


Mar 05, 2021
Mark Niklas Müller, Gleb Makarchuk, Gagandeep Singh, Markus Püschel, Martin Vechev


  Access Paper or Ask Questions

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