Theo Olausson
2 papers · 2023–2024 · 2 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 ยท Bronze
๐ฃ
Hot Topic Early Bird
โ
The Questioner
Top co-authors
Research topics
Keywords
symbolic reasoning
(1)
logical reasoning
(1)
theorem proving
(1)
semantic parsing
(1)
code generation
(1)
first-order logic
(1)
automated theorem proving
(1)
neuro-symbolic computation
(1)
program correctness
(1)
neuro-symbolic reasoning
(1)
model understanding
(1)
large language model
(1)
output evaluation
(1)
counterfeit detection
(1)
execution behavior
(1)