Tarun Suresh
- SuperCoder: Assembly Program Superoptimization with Large Language Models
2025/05/16 by Anjiang Wei, Wei, Anjiang, Tarun Suresh +12 · 2 voices · 2 citations
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Engineering Research
- Tamper-Resistant Safeguards for Open-Weight LLMs
2024/08/01 by Rishub Tamirisa, Tamirisa, Rishub, Bhrugu Bharathi +27 · 25 citations
Engineering · #Radiation Effects in Electronics #Electrostatic Discharge in Electronics #Electrical Fault Detection and Protection
- CoRNStack: High-Quality Contrastive Data for Better Code Ranking
2024/12/01 by Tarun Suresh, Revanth Gangi Reddy, Suresh, Tarun +11 · 10 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #Algorithms and Data Compression #Computation and Language (cs.CL) #FOS: Computer and information sciences #Information Retrieval (cs.IR) #Machine Learning in Bioinformatics #Natural Language Processing Techniques
- CRANE: Reasoning with constrained LLM generation
2025/02/13 by Debangshu Banerjee, Banerjee, Debangshu, Tarun Suresh +7 · 9 citations
Computer Science · #Natural Language Processing Techniques #Semantic Web and Ontologies
- IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
2024/10/09 by Shubham Ugare, Rohan Gumaste, Ugare, Shubham +7 · 6 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE)
- SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
2025/05/20 by Anjiang Wei, Y. Wu, Wei, Anjiang +13 · 9 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques
- CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
2025/03/29 by Anjiang Wei, Tarun Suresh, Wei, Anjiang +15 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)
- VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
2025/04/22 by Anjiang Wei, Wei, Anjiang, Tarun Suresh +12 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Software Engineering (cs.SE)
- Is The Watermarking Of LLM-Generated Code Robust?
2024/03/24 by Tarun Suresh, Suresh, Tarun, Shubham Ugare +5 · 1 citation
Computer Science · Engineering · #Advanced Steganography and Watermarking Techniques #Digital Rights Management and Security #Vehicle License Plate Recognition
- Learning a Pessimistic Reward Model in RLHF
2025/05/26 by Yinglun Xu, Xu, Yinglun, Kang, Hangoo +6 · 2 citations
Decision Sciences · Engineering · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Risk and Safety Analysis #Safety Systems Engineering in Autonomy