Gagandeep Singh
28 papers · 2018–2025 · 10 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+11 more ↓ Show less ↑
π Academic Marathon (7) π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (10) π£ Hot Topic Early Bird
πΊοΈ
Taxonomy Completionist
(36)
π
Conference Polyglot
(10)
π
Academic Marathon
(7)
π§¬
Topic Evolution
π
Grand Slam
π
Triple Crown
ποΈ
Keyword Collector
(69)
β‘
Prolific Year
(9)
π
Century Club
(28)
π₯
Unstoppable
(8)
π
Trend Setter
Conferences
ICLR (9)
NIPS (6)
ICML (4)
ACL (2)
ECCV (2)
AAAI (1)
EMNLP (1)
ICCV (1)
MIDL (1)
NSDI (1)
Top co-authors
Research topics
Keywords
formal verification
(6)
adversarial robustness
(5)
neural network verification
(3)
sequence-to-sequence model
(2)
adversarial attack
(2)
neural network robustness
(2)
language modeling
(1)
knowledge distillation
(1)
benchmark suite
(1)
spatio-temporal modeling
(1)
medical report generation
(1)
monte carlo estimation
(1)
branch and bound
(1)
convex relaxation
(1)
structured prediction
(1)
machine learning security
(1)
distribution shift
(1)
adversarial training
(1)
disease progression
(1)
learning to rank
(1)
Papers
CRANE: Reasoning with constrained LLM generation
ICML 2025
Support is All You Need for Certified VAE Training
ICLR 2025
IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
ICLR 2025
Certifying Counterfactual Bias in LLMs
ICLR 2025
Incremental Randomized Smoothing Certification
ICLR 2024
Robust Universal Adversarial Perturbations
ICML 2024
FedCompass: Efficient Cross-Silo Federated Learning on Heterogeneous Client Devices Using a Computing Power-Aware Scheduler
ICLR 2024
Cross-Input Certified Training for Universal Perturbations
ECCV 2024
RAMP: Boosting Adversarial Robustness Against Multiple $l_p$ Perturbations for Universal Robustness
NIPS 2024
Relational DNN Verification With Cross Executional Bound Refinement
ICML 2024
Interpreting Robustness Proofs of Deep Neural Networks
ICLR 2024
NN4SysBench: Characterizing Neural Network Verification for Computer Systems
NIPS 2024
Relational Verification Leaps Forward with RABBit
NIPS 2024
Provable Defense Against Geometric Transformations
ICLR 2023
Exploring Practical Vulnerabilities of Machine Learning-based Wireless Systems
NSDI 2023
Large Scale Sequence-to-Sequence Models for Clinical Note Generation from Patient-Doctor Conversations
ACL 2023
Provably Robust Adversarial Examples
ICLR 2022
Language Modelling via Learning to Rank
AAAI 2022
Learning Topological Interactions for Multi-Class Medical Image Segmentation
ECCV 2022
MedicalSum: A Guided Clinical Abstractive Summarization Model for Generating Medical Reports from Patient-Doctor Conversations
EMNLP 2022
Predicting COVID-19 Lung Infiltrate Progression on Chest Radiographs Using Spatio-temporal LSTM based Encoder-Decoder Network
MIDL 2021
Robustness Certification for Point Cloud Models
ICCV 2021
Generating Medical Reports from Patient-Doctor Conversations Using Sequence-to-Sequence Models
ACL 2020
Adversarial Attacks on Probabilistic Autoregressive Forecasting Models
ICML 2020
Beyond the Single Neuron Convex Barrier for Neural Network Certification
NIPS 2019
Boosting Robustness Certification of Neural Networks
ICLR 2019
Certifying Geometric Robustness of Neural Networks
NIPS 2019
Fast and Effective Robustness Certification
NIPS 2018