Tarun Suresh
7 papers
· 2024–2025
· 4 conferences
· across top CS/AI conferences
Achievements
🌍
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)