Is Watermarking LLM-Generated Code Robust? - Tarun Suresh; Shubham Ugare; Gagandeep Singh 001; Sasa Misailovic (Tiny Papers @ ICLR, 2024)

Incremental Randomized Smoothing Certification. - Shubham Ugare; Tarun Suresh; Debangshu Banerjee 001; Gagandeep Singh 001; Sasa Misailovic (ICLR, 2024)

Relational Verification Leaps Forward with RABBit. - Tarun Suresh; Debangshu Banerjee 001; Gagandeep Singh 001 (NeurIPS, 2024)

Improving LLM Code Generation with Grammar Augmentation. - Shubham Ugare; Tarun Suresh; Hangoo Kang; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2024)

IterGen: Iterative Structured LLM Generation. - Shubham Ugare; Rohan Gumaste; Tarun Suresh; Gagandeep Singh 001; Sasa Misailovic (CoRR, 2024)

CoRNStack: High-Quality Contrastive Data for Better Code Ranking. - Tarun Suresh; Revanth Gangi Reddy; Yifei Xu; Zach Nussbaum; Andriy Mulyar; Brandon Duderstadt; Heng Ji 001 (CoRR, 2024)

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 001 (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; et al. (ICLR, 2025)

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking. - Shubham Ugare; Rohan Gumaste; Tarun Suresh; Gagandeep Singh 001; Sasa Misailovic (ICLR, 2025)

SynCode: LLM Generation with Grammar Augmentation. - Shubham Ugare; Tarun Suresh; Hangoo Kang; Sasa Misailovic; Gagandeep Singh 001 (Trans. Mach. Learn. Res., 2025)

CRANE: Reasoning with constrained LLM generation. - Debangshu Banerjee 001; Tarun Suresh; Shubham Ugare; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2025)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis. - Anjiang Wei; Tarun Suresh; Jiannan Cao; Naveen Kannan; Yuheng Wu; Kai Yan; Thiago S. F. X. Teixeira; Ke Wang; Alex Aiken (CoRR, 2025)

VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation. - Anjiang Wei; Huanmi Tan; Tarun Suresh; Daniel Mendoza; Thiago S. F. X. Teixeira; Ke Wang; Caroline Trippel; Alex Aiken (CoRR, 2025)

SweRank: Software Issue Localization with Code Ranking. - Revanth Gangi Reddy; Tarun Suresh; JaeHyeok Doo; Ye Liu 006; Xuan-Phi Nguyen; Yingbo Zhou; Semih Yavuz; Caiming Xiong; Heng Ji 001; Shafiq Joty (CoRR, 2025)

Improving Assembly Code Performance with Large Language Models via Reinforcement Learning. - Anjiang Wei; Tarun Suresh; Huanmi Tan; Yinglun Xu; Gagandeep Singh 001; Ke Wang; Alex Aiken (CoRR, 2025)

SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas. - Anjiang Wei; Yuheng Wu; Yingjia Wan; Tarun Suresh; Huanmi Tan; Zhanke Zhou; Sanmi Koyejo; Ke Wang; Alex Aiken (CoRR, 2025)

Learning a Pessimistic Reward Model in RLHF. - Yinglun Xu; Hangoo Kang; Tarun Suresh; Yuxuan Wan; Gagandeep Singh 001 (CoRR, 2025)

DINGO: Constrained Inference for Diffusion LLMs. - Tarun Suresh; Debangshu Banerjee 001; Shubham Ugare; Sasa Misailovic; Gagandeep Singh 001 (CoRR, 2025)