Ivan Kartáč
3 papers · 2026–2026 · 3 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
Venues
Top co-authors
Research topics
Keywords
large language model
(2)
model evaluation
(1)
task-oriented dialogue
(1)
first-order logic
(1)
multi-turn dialogue
(1)
reasoning benchmark
(1)
commonsense reasoning
(1)
annotation quality
(1)
inter-annotator agreement
(1)
neuro-symbolic method
(1)
syllogistic reasoning
(1)
span annotation
(1)
automated theorem prover
(1)
machine translation
(1)
zero-shot baseline
(1)