Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning

Pingchuan Ma 0004, Zhenlan Ji, Peisen Yao, Shuai Wang, Kui Ren 0001. Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning. In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, 2024. [doi]

Abstract

Abstract is missing.