利用自动条件独立推理实现因果发现算法的运行时验证 (扩展版本)

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

CICheck是一种运行时验证工具,用于加固因果关系发现算法。它采用编码方案将问题转化为SMT问题,并通过四阶段决策过程和三个轻量级优化措施高效解决问题。CICheck包含两个变体:ED-CICheck和ED-CICheck,分别用于提高可靠性和隐私性。

🏷️

标签

➡️

继续阅读