Josef Urban
4 papers · 2015–2023 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π Conference Polyglot (3) π Academic Marathon (8) π Renaissance Researcher (5) π Interdisciplinary Bridge πΊοΈ Taxonomy Completionist (10)
π§
Keyword Pioneer
π£
Hot Topic Early Bird
π
Cross-Pollinator
(13)
Conferences
NIPS (2)
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
automated reasoning
(2)
reinforcement learning
(1)
theorem proving
(1)
program synthesis
(1)
monte-carlo simulation
(1)
tree search
(1)
automated theorem proving
(1)
premise selection
(1)
integer sequence
(1)
neural network
(1)
learned policy
(1)
on-line encyclopedia of integer sequence
(1)
connection-style proof search
(1)
deep sequence model
(1)
representation learning
(1)
proof attempt
(1)