Singh, Gagandeep

34 publications

ICML 2025 CRANE: Reasoning with Constrained LLM Generation Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh

ICLRW 2025 CRANE: Reasoning with Constrained LLM Generation Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh

ICLR 2025 Certifying Counterfactual Bias in LLMs Isha Chaudhary, Qian Hu, Manoj Kumar, Morteza Ziyadi, Rahul Gupta, Gagandeep Singh

NeurIPS 2025 DINGO: Constrained Inference for Diffusion LLMs Tarun Suresh, Debangshu Banerjee, Shubham Ugare, Sasa Misailovic, Gagandeep Singh

ICLR 2025 IterGen: Iterative Semantic-Aware Structured LLM Generation with Backtracking Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic

ICLRW 2025 Neural Abstract Interpretation Shaurya Gomber, Gagandeep Singh

ICLR 2025 Support Is All You Need for Certified VAE Training Changming Xu, Debangshu Banerjee, Deepak Vasisht, Gagandeep Singh

TMLR 2025 SynCode: LLM Generation with Grammar Augmentation Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh

NeurIPS 2025 TRAP: Targeted Redirecting of Agentic Preferences Hangoo Kang, Jehyeok Yeon, Gagandeep Singh

TMLR 2025 Two-Step Offline Preference-Based Reinforcement Learning on Explicitly Constrained Policies Yinglun Xu, Tarun Suresh, Rohan Gumaste, David Zhu, Ruirui Li, Zhengyang Wang, Haoming Jiang, Xianfeng Tang, Qingyu Yin, Monica Xiao Cheng, Qi Zeng, Chao Zhang, Gagandeep Singh

TMLR 2025 Universal Black-Box Targeted Reward Poisoning Attack Against Online Deep Reinforcement Learning Yinglun Xu, Gagandeep Singh

ECCV 2024 Cross-Input Certified Training for Universal Perturbations Changming Xu, Gagandeep Singh

ICLR 2024 FedCompass: Efficient Cross-Silo Federated Learning on Heterogeneous Client Devices Using a Computing Power-Aware Scheduler Zilinghan Li, Pranshu Chaturvedi, Shilan He, Han Chen, Gagandeep Singh, Volodymyr Kindratenko, Eliu A Huerta, Kibaek Kim, Ravi Madduri

ICLR 2024 Incremental Randomized Smoothing Certification Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic

ICLR 2024 Interpreting Robustness Proofs of Deep Neural Networks Debangshu Banerjee, Avaljot Singh, Gagandeep Singh

NeurIPS 2024 NN4SysBench: Characterizing Neural Network Verification for Computer Systems Shuyi Lin, Haoyu He, Tianhao Wei, Kaidi Xu, Huan Zhang, Gagandeep Singh, Changliu Liu, Cheng Tan

ICLRW 2024 Quantitative Certification of Knowledge Comprehension in LLMs Isha Chaudhary, Vedaant V Jain, Gagandeep Singh

NeurIPS 2024 RAMP: Boosting Adversarial Robustness Against Multiple $l_p$ Perturbations for Universal Robustness Enyi Jiang, Gagandeep Singh

ICML 2024 Relational DNN Verification with Cross Executional Bound Refinement Debangshu Banerjee, Gagandeep Singh

NeurIPS 2024 Relational Verification Leaps Forward with RABBit Tarun Suresh, Debangshu Banerjee, Gagandeep Singh

ICML 2024 Robust Universal Adversarial Perturbations Changming Xu, Gagandeep Singh

NeurIPSW 2023 COMET: Neural Cost Model Explanation Framework Isha Chaudhary, Alex Renda, Charith Mendis, Gagandeep Singh

TMLR 2023 Efficient Reward Poisoning Attacks on Online Deep Reinforcement Learning Yinglun Xu, Qi Zeng, Gagandeep Singh

ICLR 2023 Provable Defense Against Geometric Transformations Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh

AAAI 2022 Language Modelling via Learning to Rank Arvid Frydenlund, Gagandeep Singh, Frank Rudzicz

ECCV 2022 Learning Topological Interactions for Multi-Class Medical Image Segmentation Saumya Gupta, Xiaoling Hu, James Kaan, Michael Jin, Mutshipay Mpoy, Katherine Chung, Gagandeep Singh, Mary Saltz, Tahsin Kurc, Joel Saltz, Apostolos Tassiopoulos, Prateek Prasanna, Chao Chen

NeurIPSW 2022 Physically-Constrained Adversarial Attacks on Brain-Machine Interfaces Xiaying Wang, Rodolfo Octavio Siller Quintanilla, Michael Hersche, Luca Benini, Gagandeep Singh

ICLR 2022 Provably Robust Adversarial Examples Dimitar Iliev Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev

ICCV 2021 Robustness Certification for Point Cloud Models Tobias Lorenz, Anian Ruoss, Mislav Balunović, Gagandeep Singh, Martin Vechev

ICML 2020 Adversarial Attacks on Probabilistic Autoregressive Forecasting Models Raphaël Dang-Nhu, Gagandeep Singh, Pavol Bielik, Martin Vechev

NeurIPS 2019 Beyond the Single Neuron Convex Barrier for Neural Network Certification Gagandeep Singh, Rupanshu Ganvir, Markus Püschel, Martin Vechev

ICLR 2019 Boosting Robustness Certification of Neural Networks Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev

NeurIPS 2019 Certifying Geometric Robustness of Neural Networks Mislav Balunovic, Maximilian Baader, Gagandeep Singh, Timon Gehr, Martin Vechev

NeurIPS 2018 Fast and Effective Robustness Certification Gagandeep Singh, Timon Gehr, Matthew Mirman, Markus Püschel, Martin Vechev