Theo Olausson
2 papers
· 2023–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
❓
The Questioner
Conferences
ACL (1)
EMNLP (1)
Top co-authors
Keywords
symbolic reasoning
(1)
logical reasoning
(1)
theorem proving
(1)
semantic parsing
(1)
code generation
(1)
first-order logic
(1)
automated theorem proving
(1)
program correctness
(1)
neurosymbolic reasoning
(1)
model understanding
(1)
large language model
(1)
output evaluation
(1)
counterfeit detection
(1)
execution behavior
(1)
neurosymbolic computation
(1)