Samuel Kolb
9 papers
· 2018–2021
· 3 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(23)
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Cross-Pollinator
(15)
π
Keyword Champion
(3)
π
Conference Pioneer
Conferences
IJCAI (4)
AAAI (3)
UAI (2)
Top co-authors
Keywords
probabilistic inference
(6)
weighted model integration
(6)
bayesian inference
(3)
constraint learning
(3)
weighted model counting
(2)
smt solving
(2)
constraint satisfaction
(2)
continuous variable
(2)
machine learning
(1)
probabilistic reasoning
(1)
symbolic dynamic programming
(1)
graphical model
(1)
symbolic computation
(1)
smt solver
(1)
convex polytope
(1)
constraint satisfaction problem
(1)
algebraic decision diagram
(1)
positive negative example
(1)
linear arithmetic
(1)
logical constraint
(1)