Sotabase

Career

· Postdoctoral Researcher, KU Leuven2024–
· PhD Student, KU Leuven2018–2023
· Volunteer, 100 KM DODENTOCHT-KADEE2010–2017

Publications (40)

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
International Conference on Learning Representations · 2024
13
cited
Algebraic Circuits for Decision Theoretic Inference and Learning
European Conference on Artificial Intelligence · 2020
11
cited
Semirings for Probabilistic and Neuro-Symbolic Logic Programming
International Journal of Approximate Reasoning · 2024
10
cited
On the Hardness of Probabilistic Neurosymbolic Learning
International Conference on Machine Learning · 2024
7
cited
Symmetric Component Caching for Model Counting on Combinatorial Instances
AAAI Conference on Artificial Intelligence · 2021
6
cited
Transforming Probabilistic Programs into Algebraic Circuits for Inference and Learning
2019
6
cited
Optimizing workforce allocation under uncertain activity duration
Computers & industrial engineering · 2023
4
cited
Ordering Variables for Weighted Model Integration
Conference on Uncertainty in Artificial Intelligence · 2020
4
cited
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
AAAI Conference on Artificial Intelligence · 2022
3
cited
Top-Down Knowledge Compilation for Counting Modulo Theories
arXiv.org · 2023
2
cited
Towards Tractable Dynamic Decision Making With Circuits
2022
1
cited
Approximate Compression of CNF Concepts
IFIP Working Conference on Database Semantics · 2024
Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
International Conference on Principles of Knowledge Representation and Reasoning · 2024
Empirical Hardness Analysis of MaxSAT
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
AAAI Conference on Artificial Intelligence · 2024
KLay: Accelerating Sparse Arithmetic Circuits
Proceedings 38th International Conference on Logic Programming
Electronic Proceedings in Theoretical Computer Science · 2022
Queryable and Interpretable PU Learning Through Probabilistic Circuits
ECML/PKDD · 2025
The DeepLog Neurosymbolic Machine
arXiv.org · 2025
Sotabase
Vincent Derkinderen | Researcher Profile | Sotabase | Sotabase