SPLAT中的概率推理结果非常干净！！ 感谢论文中1.4节形式的简单性。 截图显示了链式法则。我喜欢即使没有Lean知识也能跟随计算部分。