From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy

Julian Dörfler, Benito van der Zander, Markus Bläser, Maciej Liskiewicz
2/12/2026
Semantic Scholar

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Cite this paper

@article{drfler2026from,
  title  = {From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy},
  author = {Julian Dörfler and Benito van der Zander and Markus Bläser and Maciej Liskiewicz},
  year   = {2026},
  url    = {https://api.semanticscholar.org/CorpusID:fb313c53ff12c452995c6cbabb0f38ff1cf8f41b},
  journal = {ICLR 2025 2025}
}

Discussion