Konrad Czechowski
4 papers · 2020–2023 · 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
Venues
Top co-authors
Research topics
Keywords
subgoal search
(2)
hierarchical planning
(1)
video prediction
(1)
puzzle solving
(1)
model architecture
(1)
best-first search
(1)
model-based reinforcement learning
(1)
atari game
(1)
language model
(1)
automated theorem proving
(1)
search algorithm
(1)
premise selection
(1)
planning horizon
(1)
adaptive planning
(1)
environment model
(1)
interactive theorem prover
(1)
automated theorem prover
(1)
hammer method
(1)
model-based planning
(1)
simulated policy learning
(1)