Suresh, Tarun

10 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

ICLR 2025 CoRNStack: High-Quality Contrastive Data for Better Code Retrieval and Reranking Tarun Suresh, Revanth Gangi Reddy, Yifei Xu, Zach Nussbaum, Andriy Mulyar, Brandon Duderstadt, Heng Ji

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 2025 Tamper-Resistant Safeguards for Open-Weight LLMs Rishub Tamirisa, Bhrugu Bharathi, Long Phan, Andy Zhou, Alice Gatti, Tarun Suresh, Maxwell Lin, Justin Wang, Rowan Wang, Ron Arel, Andy Zou, Dawn Song, Bo Li, Dan Hendrycks, Mantas Mazeika

TMLR 2025 Two-Step Offline Preference-Based Reinforcement Learning on Explicitly Constrained Policies Yinglun Xu, Tarun Suresh, Rohan Gumaste, David Zhu, Ruirui Li, Zhengyang Wang, Haoming Jiang, Xianfeng Tang, Qingyu Yin, Monica Xiao Cheng, Qi Zeng, Chao Zhang, Gagandeep Singh

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

NeurIPS 2024 Relational Verification Leaps Forward with RABBit Tarun Suresh, Debangshu Banerjee, Gagandeep Singh