Banerjee, Debangshu

9 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
NeurIPS 2025 DINGO: Constrained Inference for Diffusion LLMs Tarun Suresh, Debangshu Banerjee, Shubham Ugare, Sasa Misailovic, Gagandeep Singh
ICLR 2025 Support Is All You Need for Certified VAE Training Changming Xu, Debangshu Banerjee, Deepak Vasisht, Gagandeep Singh
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
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
AISTATS 2023 Exploration in Linear Bandits with Rich Action Sets and Its Implications for Inference Debangshu Banerjee, Avishek Ghosh, Sayak Ray Chowdhury, Aditya Gopalan