Tarun Suresh

7 papers · 2024–2025 · 4 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (16) ⚡ Prolific Year · Productive

Venues

ICLR (4) EMNLP (1) ICML (1) NeurIPS (1)

Top co-authors

Gagandeep Singh (4) Sasa Misailovic (3) Shubham Ugare (3) Debangshu Banerjee (3) Rowan Wang (1) Long Phan (1) Yuheng Wu (1) Dan Hendrycks (1) Alex Aiken (1) Bhrugu Bharathi (1)

Research topics

Artificial Intelligence (6) Core AI (5) Machine Learning (4) Natural Language Processing (2) Generation (2) Learning Types (2) Optimization & Theory (2) Computer Science (1) Deep Learning (1) Application Areas (1) Bayesian & Probabilistic (1) Core Methods (1) Foundations (1) Techniques (1)

Keywords

adversarial robustness (2) large language model (2) contrastive learning (1) benchmark evaluation (1) model security (1) logical reasoning (1) boolean satisfiability (1) constrained generation (1) information retrieval (1) automated reasoning (1) sql generation (1) formal verification (1) branch and bound (1) model pruning (1) code retrieval (1) satisfiability problem (1) adversarial attack (1) randomized smoothing (1) neural network verification (1) hallucination mitigation (1)

Papers

CoRNStack: High-Quality Contrastive Data for Better Code Retrieval and Reranking ICLR 2025 CRANE: Reasoning with constrained LLM generation ICML 2025 IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking ICLR 2025 SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas EMNLP 2025 Tamper-Resistant Safeguards for Open-Weight LLMs ICLR 2025 Incremental Randomized Smoothing Certification ICLR 2024 Relational Verification Leaps Forward with RABBit NeurIPS 2024