Shubham Ugare

RefineStat: Efficient Exploration for Probabilistic Program Synthesis

Fun2spec: Code Contract Synthesis At Scale

DINGO: Constrained Inference for Diffusion LLMs

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking

CRANE: Reasoning with constrained LLM generation

UTF-8 Plumbing: Byte-level Tokenizers Unavoidably Enable LLMs to Generate Ill-formed UTF-8

ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs