DeepSWIP Adds Exact Counterfactual Reasoning to DeepProbLog Programs
June 19, 2026
DeepSWIP extends DeepProbLog with a single-world counterfactual semantics using neural materialization and weighted model counting, enabling exact counterfactual inference under finite grounding assumptions. Experiments on MPI3D validate the transformation against a DeepTwin baseline.
HOW THIS AFFECTS YOU
●
researcherProvides a principled causal semantics for neurosymbolic systems that previously only supported associational inference, with exactness guarantees under stated assumptions.