Debangshu Banerjee

Identifiers

No identifiers captured yet.

Papers (3)

1. SEVerA: Verified Synthesis of Self-Evolving Agents cs.LG · 2026 · author #1
2. BEAVER: An Efficient Deterministic LLM Verifier cs.AI · 2025 · author #3
3. Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation cs.PL · 2025 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Gagandeep Singh 3 shared papers
• Changming Xu 1 shared papers
• Chu-Cheng Lin 1 shared papers
• Daiyi Peng 1 shared papers
• Eugene Ie 1 shared papers
• Ming Zhang 1 shared papers
• Nalin Wadhwa 1 shared papers
• Shaurya Gomber 1 shared papers
• Tarun Suresh 1 shared papers