Miroslav Olšák
3 papers
· 2018–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
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)