Mohit Kumar
Katholieke Universiteit Leuven
H-index: 5
Europe-Belgium
Top articles of Mohit Kumar
Learning MAX-SAT from contextual examples for combinatorial optimisation
Artificial Intelligence
2023/1/1
Learning max-sat models from examples using genetic algorithms and knowledge compilation
2022
Learning constraint programming models from data using generate-and-aggregate
2022
Democratizing constraint satisfaction problems through machine learning
Proceedings of the AAAI Conference on Artificial Intelligence
2021/5/18
VisualSynth: Democratizing Data Science in Spreadsheets
2021
Learning mixed-integer linear programs from contextual examples
arXiv preprint arXiv:2107.07136
2021/7/15
Machine guides, human supervises: Interactive learning with global explanations
arXiv preprint arXiv:2009.09723
2020/9/21
Toward Machine-Guided, Human-Initiated Explanatory Interactive Learning
arXiv preprint arXiv:2007.10018
2020/7/20
SynthLog: A Language for Synthesising Inductive Data Models
2020