2 papers
cs.LO2026
Reasoning with Probabilities: Relating Weighted Model Counting and Probabilistic Model Checking
Bahare Salmani, Vincent Derkinderen
Weighted model counting (WMC) and probabilistic model checking (PMC) are two well- established frameworks that are independently developed, the former for probabilistic inference,…
cs.LG2026
DeepLog: A Software Framework for Modular Neurosymbolic AI
Robin Manhaeve, Stefano Colamonaco, Vincent Derkinderen +4
DeepLog is an operational neurosymbolic framework that unifies logic and deep learning within standard PyTorch workflows. While existing neurosymbolic systems focus on a particular…