Kaya Stechly
3 papers · 2024–2025 · 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
❓
The Questioner
Venues
Top co-authors
Research topics
Keywords
large language model
(2)
in-context learning
(1)
prompt engineering
(1)
algorithmic reasoning
(1)
iterative prompting
(1)
neuro-symbolic approach
(1)
chain of thought
(1)
reasoning generalization
(1)
bidirectional interaction
(1)
external verification
(1)
planning
(1)
self-verification
(1)
external verifiers
(1)
automated planning
(1)
llm-modulo frameworks
(1)