Josef Urban
4 papers
· 2015–2023
· 3 conferences
· across top CS/AI conferences
Achievements
π
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)