Tarun Suresh
7 papers · 2024–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
Conference Polyglot
(4)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
⚡
Prolific Year
(5)
Conferences
ICLR (4)
EMNLP (1)
ICML (1)
NIPS (1)
Top co-authors
Keywords
benchmark evaluation
(1)
adversarial robustness
(1)
logical reasoning
(1)
boolean satisfiability
(1)
automated reasoning
(1)
formal verification
(1)
branch and bound
(1)
satisfiability problem
(1)
neural network verification
(1)
puzzle generation
(1)
large language model
(1)
search-based reasoning
(1)
relational properties
(1)
Papers
CoRNStack: High-Quality Contrastive Data for Better Code Retrieval and Reranking
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
CRANE: Reasoning with constrained LLM generation
ICML 2025
IterGen: Iterative Semantic-aware Structured LLM Generation with Backtracking
ICLR 2025
Incremental Randomized Smoothing Certification
ICLR 2024
Relational Verification Leaps Forward with RABBit
NIPS 2024