Debangshu Banerjee

4

Papers

22

Total Citations

Papers (4)

CRANE: Reasoning with constrained LLM generation

DINGO: Constrained Inference for Diffusion LLMs

Support is All You Need for Certified VAE Training

Relational DNN Verification With Cross Executional Bound Refinement