Scholar
Vincent Derkinderen
Google Scholar ID: 0TC7EGQAAAAJ
Postdoctoral researcher, DTAI, KU Leuven
Probabilitic Inference
Knowledge Compilation
Model counting
NeuroSymbolic AI
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
93
H-index
7
i10-index
3
Publications
20
Co-authors
21
list available
Publications
4 items
Reasoning with Probabilities: Relating Weighted Model Counting and Probabilistic Model Checking
2026
Cited
0
DeepLog: A Software Framework for Modular Neurosymbolic AI
2026
Cited
0
The DeepLog Neurosymbolic Machine
2025
Cited
0
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
2024
Cited
0
Co-authors
10 total
Luc De Raedt
professor, KU Leuven & guestprofessor, Örebro University
Pedro Zuidberg Dos Martires
Örebro University
Jaron Maene
KU Leuven
Robin Manhaeve
DTAI, KU Leuven
Wannes Meert
DTAI, KU Leuven
Kuldeep S. Meel
Associate Professor, University of Toronto
Pieter Smet
Department of Computer Science, KU Leuven
Paolo Morettin
Assistant professor (RTD-A), University of Trento
