Paolo Morettin
11 papers
· 2017–2025
· 5 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
πΊοΈ
Taxonomy Completionist
(23)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(5)
π
Academic Marathon
(8)
π
Cross-Pollinator
(15)
π
Renaissance Researcher
(5)
π
Keyword Champion
(2)
π
Century Club
(11)
Conferences
IJCAI (4)
NIPS (3)
UAI (2)
AAAI (1)
ICML (1)
Top co-authors
Keywords
probabilistic inference
(8)
weighted model integration
(7)
bayesian inference
(4)
hybrid domain
(4)
exact inference
(3)
logical constraint
(3)
smt solving
(3)
continuous variable
(3)
message passing
(2)
weighted model counting
(2)
symbolic computation
(1)
generative adversarial network
(1)
molecule generation
(1)
factor graph
(1)
smt solver
(1)
predicate abstraction
(1)
neuro-symbolic computing
(1)
reasoning shortcut
(1)
neural network
(1)
satisfiability modulo theories
(1)