Misailovic, Sasa

8 publications

ICML 2025 CRANE: Reasoning with Constrained LLM Generation Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh

ICLRW 2025 CRANE: Reasoning with Constrained LLM Generation Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh

NeurIPS 2025 DINGO: Constrained Inference for Diffusion LLMs Tarun Suresh, Debangshu Banerjee, Shubham Ugare, Sasa Misailovic, Gagandeep Singh

ICLR 2025 IterGen: Iterative Semantic-Aware Structured LLM Generation with Backtracking Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic

TMLR 2025 SynCode: LLM Generation with Grammar Augmentation Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh

ICLR 2024 Incremental Randomized Smoothing Certification Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic

UAI 2023 ASTRA: Understanding the Practical Impact of Robustness for Probabilistic Programs Zixin Huang, Saikat Dutta, Sasa Misailovic

ICLR 2023 Provable Defense Against Geometric Transformations Rem Yang, Jacob Laurel, Sasa Misailovic, Gagandeep Singh