← back to paper

Review history

arxiv: 2606.20351 · 2 revisions

A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness

1. 2026-08-02 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 7.0
   203278 ms 22592 in 21340 out 2026-08-02T10:45:41.573362+00:00
2. 2026-06-26 CONDITIONAL LOW v0.9.1-grok novelty 7.0
   28517 ms 5765 in 1326 out 2026-06-26T15:10:52.356227+00:00