1 citations · 1 across the 7 of their papers we have counts for
3 papers · 1 filter
Verifying formulas for interventional distributions
Francesco Freni, Leonard Henckel, Sebastian Weichwald
We formalize verification in causal graphical models: deciding whether a given observational formula identifies a target interventional distribution. This opens a problem complemen…
A Topological Sorting Criterion for Random Causal Directed Acyclic Graphs
Alexander G. Reisach, Antoine Chambaz, Gilles Blanchard +1
Random directed acyclic graphs (DAGs) based on imposing an order on Erdős-Rényi and scale free random graphs are widely used for evaluating causal discovery algorithms. We show tha…
The Case for Time in Causal DAGs
Alexander G. Reisach, Alberto Suárez, Sebastian Weichwald +1
We make the case for incorporating a notion of time into causal directed acyclic graphs (DAGs). We demonstrate that nontemporal causal DAGs are ambiguous and obstruct justification…