Samuel Kolb
9 papers · 2018–2021 · 3 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 ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (20) π£ Hot Topic Early Bird π Conference Pioneer
π
Trend Setter
Top co-authors
Research topics
Machine Learning
(8)
Artificial Intelligence
(6)
Bayesian & Probabilistic Β· Machine Learning
(6)
Optimization & Theory
(6)
Mathematics & Optimization
(4)
Bayesian & Probabilistic Β· Artificial Intelligence
(4)
Optimization
(4)
Knowledge & Reasoning
(3)
Core AI
(3)
Reasoning
(3)
Learning Types
(2)
Probability
(2)
Computer Science
(1)
Applications
(1)
Core Methods
(1)
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)
Papers
Democratizing Constraint Satisfaction Problems through Machine Learning
AAAI 2021
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey
IJCAI 2021
Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation
AAAI 2020
Learning Weighted Model Integration Distributions
AAAI 2020
Ordering Variables for Weighted Model Integration
UAI 2020
How to Exploit Structure while Solving Weighted Model Integration Problems
UAI 2019
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration
IJCAI 2019
Efficient Symbolic Integration for Probabilistic Inference
IJCAI 2018
Learning SMT(LRA) Constraints using SMT Solvers
IJCAI 2018