Jan Tóth
2 papers · 2023–2023 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
Top co-authors
Research topics
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)