Sep, 2023

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

TL;DRCICheck 是一种运行时验证工具,旨在通过可靠性和隐私角度对因果关系发现算法进行加固。CICheck 采用一种声音且可判定的编码方案,将条件独立性关系问题转化为 SMT 问题,并通过四阶段决策过程和三个轻量级优化措施高效解决问题。CICheck 包含两个变体:ED-CICheck 和 ED-CICheck,分别用于检测错误的条件独立性测试(以提高可靠性)和修剪过多的条件独立性测试(以提高隐私性)。