Tarun Suresh

According to our database, Tarun Suresh authored at least 18 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

DINGO: Constrained Inference for Diffusion LLMs.

Tarun Suresh, Debangshu Banerjee, Shubham Ugare, Sasa Misailovic, Gagandeep Singh

CoRR, May, 2025

Learning a Pessimistic Reward Model in RLHF.

Yinglun Xu, Hangoo Kang, Tarun Suresh, Yuxuan Wan, Gagandeep Singh

CoRR, May, 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, May, 2025

Improving Assembly Code Performance with Large Language Models via Reinforcement Learning.

Anjiang Wei, Tarun Suresh, Huanmi Tan, Yinglun Xu, Gagandeep Singh, Ke Wang, Alex Aiken

CoRR, May, 2025

SweRank: Software Issue Localization with Code Ranking.

Revanth Gangi Reddy, Tarun Suresh, JaeHyeok Doo, Ye Liu, Xuan-Phi Nguyen, Yingbo Zhou, Semih Yavuz, Caiming Xiong, Heng Ji, Shafiq Joty

CoRR, May, 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, April, 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, March, 2025

CRANE: Reasoning with constrained LLM generation.

Debangshu Banerjee, Tarun Suresh, Shubham Ugare, Sasa Misailovic, Gagandeep Singh

CoRR, February, 2025

SynCode: LLM Generation with Grammar Augmentation.

Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh

Trans. Mach. Learn. Res., 2025

IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking.

Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic

Proceedings of the Thirteenth International Conference on Learning Representations, 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

Proceedings of the Thirteenth International Conference on Learning Representations, 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

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

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

CoRR, 2024

IterGen: Iterative Structured LLM Generation.

Shubham Ugare, Rohan Gumaste, Tarun Suresh, Gagandeep Singh, Sasa Misailovic

CoRR, 2024

Improving LLM Code Generation with Grammar Augmentation.

Shubham Ugare, Tarun Suresh, Hangoo Kang, Sasa Misailovic, Gagandeep Singh

CoRR, 2024

Relational Verification Leaps Forward with RABBit.

Tarun Suresh, Debangshu Banerjee, Gagandeep Singh

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Incremental Randomized Smoothing Certification.

Shubham Ugare, Tarun Suresh, Debangshu Banerjee, Gagandeep Singh, Sasa Misailovic

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Is Watermarking LLM-Generated Code Robust?

Tarun Suresh, Shubham Ugare, Gagandeep Singh, Sasa Misailovic

Proceedings of the Second Tiny Papers Track at ICLR 2024, 2024