Login / Signup
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning.
Pingchuan Ma
Zhenlan Ji
Peisen Yao
Shuai Wang
Kui Ren
Published in:
ICSE (2024)
Keyphrases
</>
conditional independence
causal discovery
markov blanket
causal models
bayesian networks
graphical models
directed acyclic graph
random variables
learning algorithm
discovery process
axiomatic characterization
information retrieval
probability distribution
maximum likelihood
structure learning
causal structure