conftrace_
← Authors

Debangshu Banerjee

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

Achievements

Jump to papers ↓
🌉 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