Debangshu Banerjee

7 papers · 2023–2025 · 4 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (4) 🐝 Cross-Pollinator (15) 🧭 Keyword Pioneer 👑 Triple Crown

Conferences

ICLR (3) ICML (2) AISTATS (1) NIPS (1)

Top co-authors

Gagandeep Singh (6) Tarun Suresh (3) Shubham Ugare (2) Sasa Misailovic (2) Deepak Vasisht (1) Sayak Ray Chowdhury (1) Avishek Ghosh (1) Changming Xu (1) Avaljot Singh (1) Aditya Gopalan (1)

Keywords

adversarial robustness (1) model selection (1) transfer learning (1) formal verification (1) branch and bound (1) spectral analysis (1) clustering algorithm (1) regret bound (1) linear bandit (1) neural network verification (1) exploration strategy (1) relational properties (1)

Papers

Support is All You Need for Certified VAE Training ICLR 2025

CRANE: Reasoning with constrained LLM generation ICML 2025

Relational Verification Leaps Forward with RABBit NIPS 2024

Relational DNN Verification With Cross Executional Bound Refinement ICML 2024

Incremental Randomized Smoothing Certification ICLR 2024

Interpreting Robustness Proofs of Deep Neural Networks ICLR 2024

Exploration in Linear Bandits with Rich Action Sets and its Implications for Inference AISTATS 2023