Vincent Derkinderen
7 papers · 2020–2025 · 5 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 ↓
🌍
Conference Polyglot · Silver
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(20)
🐣
Hot Topic Early Bird
Top co-authors
Research topics
Artificial Intelligence
(7)
Machine Learning
(5)
Core AI
(5)
Optimization & Theory
(5)
Bayesian & Probabilistic · Artificial Intelligence
(4)
Mathematics & Optimization
(3)
Optimization
(3)
Knowledge & Reasoning
(2)
Bayesian & Probabilistic · Machine Learning
(2)
Learning Types
(2)
Reasoning
(2)
Computer Science
(1)
Deep Learning
(1)
Foundations
(1)
Techniques
(1)
Keywords
knowledge compilation
(3)
symbolic reasoning
(2)
probabilistic inference
(2)
probabilistic logic
(1)
discrete optimization
(1)
variable elimination
(1)
epistemic uncertainty
(1)
heuristic search
(1)
model uncertainty
(1)
markov decision process
(1)
parameter learning
(1)
gradient descent
(1)
model architecture
(1)
probabilistic reasoning
(1)
uncertainty quantification
(1)
bayesian inference
(1)
bayesian network
(1)
arithmetic circuit
(1)
sat solver
(1)
combinatorial optimization
(1)
Papers
Circuit-Aware d-DNNF Compilation
IJCAI 2025
KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI
ICLR 2025
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation
AAAI 2024
On the Hardness of Probabilistic Neurosymbolic Learning
ICML 2024
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs
AAAI 2022
Symmetric Component Caching for Model Counting on Combinatorial Instances
AAAI 2021
Ordering Variables for Weighted Model Integration
UAI 2020