Miroslav Olšák
3 papers · 2018–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌍 Conference Polyglot (2) 🏃 Academic Marathon (7) 🌈 Renaissance Researcher (6) 🌉 Interdisciplinary Bridge 🗺️ Taxonomy Completionist (10)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
NIPS (2)
JMLR (1)
Top co-authors
Keywords
automated reasoning
(2)
theorem proving
(2)
reinforcement learning
(2)
synthetic data generation
(1)
monte-carlo simulation
(1)
language model
(1)
synthetic datum
(1)
latent graph
(1)
search tree
(1)
visual input
(1)
symbolic engine
(1)
geometry solver
(1)
connection-style proof search
(1)
state reidentification
(1)
proof attempt
(1)
symbolic reasoning
(1)
language modeling
(1)