Jan Tóth
2 papers
· 2023–2023
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
probabilistic inference
(1)
dynamic programming
(1)
lifted inference
(1)
first-order logic
(1)
statistical relational learning
(1)
combinatorial object
(1)
automated theorem proving
(1)
integer sequence
(1)
lifted first-order model counting
(1)
weighted first-order model counting
(1)
linear order axiom
(1)