ENTITY
topos causal models
topos causal models
PulseAugur coverage of topos causal models — every cluster mentioning topos causal models across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
New intuitionistic $j$-do-calculus framework extends causal inference
Researchers have introduced a novel framework called $j$-stable causal inference, which extends Pearl's do-calculus into an intuitionistic setting within a topos of sheaves. This new approach defines causal intervention…
-
New formalization of topos causal models in Cubical Agda
Researchers have developed a formalization of topos causal models using Cubical Agda, a machine-checked proof assistant. This work addresses causal inference by representing causal worlds as presheaves and interventions…