Gagandeep Singh
28 papers · 2018–2025 · 10 venues · across top CS/AI venues
This profile combines several different researchers. Authors are keyed by name, and this name's papers fall into 9 separate collaboration groups - the largest holds only 39% of them. Pick the group below that matches the researcher you mean. How a shared name is split.
Achievements are not shown for a combined profile - each one describes a single researcher's record, which this is not.
Which Gagandeep Singh?
4 groups of papers that share co-authors internally but none with each other - each most likely a different researcher. Pick one to see its papers.
with Debangshu Banerjee, Tarun Suresh, Changming Xu
11 papers
· 2023–2025
· ICLR, ICML, ECCV
Hide ▲
CRANE: Reasoning with constrained LLM generation
ICML 2025
IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
ICLR 2025
Support is All You Need for Certified VAE Training
ICLR 2025
Cross-Input Certified Training for Universal Perturbations
ECCV 2024
Incremental Randomized Smoothing Certification
ICLR 2024
Interpreting Robustness Proofs of Deep Neural Networks
ICLR 2024
Relational DNN Verification With Cross Executional Bound Refinement
ICML 2024
Relational Verification Leaps Forward with RABBit
NeurIPS 2024
Robust Universal Adversarial Perturbations
ICML 2024
Exploring Practical Vulnerabilities of Machine Learning-based Wireless Systems
NSDI 2023
Provable Defense Against Geometric Transformations
ICLR 2023
5 papers whose co-authors appear nowhere else under this name
Certifying Counterfactual Bias in LLMs
ICLR 2025
FedCompass: Efficient Cross-Silo Federated Learning on Heterogeneous Client Devices Using a Computing Power-Aware Scheduler
ICLR 2024
NN4SysBench: Characterizing Neural Network Verification for Computer Systems
NeurIPS 2024
RAMP: Boosting Adversarial Robustness Against Multiple l_p Perturbations for Universal Robustness
NeurIPS 2024
Language Modelling via Learning to Rank
AAAI 2022