← Authors

Gagandeep Singh

28 papers · 2018–2025 · 10 conferences · across top CS/AI conferences

Achievements

🌈 Renaissance Researcher (8) πŸŒ‰ Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (11) πŸ—ΊοΈ 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

Martin Vechev (7) Debangshu Banerjee (6) Timon Gehr (4) Tarun Suresh (4) Sasa Misailovic (4) Changming Xu (4) Shubham Ugare (3) Markus PΓΌschel (3) Paul Vozila (2) Deepak Vasisht (2)

Research topics

Systems (1) Applications (1)

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