ML Anthology
Authors
Search
About
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