Samuel Kolb
Katholieke Universiteit Leuven
H-index: 10
Europe-Belgium
Top articles of Samuel Kolb
Top-Down Knowledge Compilation for Counting Modulo Theories
arXiv preprint arXiv:2306.04541
2023/6/7
Learning MAX-SAT from contextual examples for combinatorial optimisation
Artificial Intelligence
2023/1/1
Learning constraint programming models from data using generate-and-aggregate
2022
Learning max-sat models from examples using genetic algorithms and knowledge compilation
2022
Learning mixed-integer linear programs from contextual examples
arXiv preprint arXiv:2107.07136
2021/7/15
for Democratizing Data Science
Human-Like Machine Intelligence
2021/7/15
Democratizing constraint satisfaction problems through machine learning
Proceedings of the AAAI Conference on Artificial Intelligence
2021/5/18
Hybrid probabilistic inference with logical and algebraic constraints: a survey
IJCAI
2021
VisualSynth: Democratizing Data Science in Spreadsheets
2021
Learning weighted model integration distributions
Proceedings of the AAAI Conference on Artificial Intelligence
2020/4/3
Monte Carlo Anti-Differentiation for Approximate Weighted Model Integration.
arXiv preprint arXiv:2001.04566
2020/1/13
Pedro Zuidberg Dos Martires
H-Index: 5
Samuel Kolb
H-Index: 6
Predictive spreadsheet autocompletion with constraints
Machine Learning
2020/2
SynthLog: A Language for Synthesising Inductive Data Models
2020
Ordering variables for weighted model integration
2020/8/27
How to exploit structure while solving weighted model integration problems
2020/8/6
Human-machine collaboration for democratizing data science
arXiv preprint arXiv:2004.11113
2020/4/23