Die probabilistische Implikation in SPLAT stellte sich als super klar heraus!! Hut ab vor der Einfachheit des Formalismus in 1.4 im Papier Der Screenshot zeigt die Kettenregel. Ich mag, wie man den Berechnungsabschnitt auch ohne Lean-Wissen folgen kann.