Subset verification and search algorithms for causal DAGs.
Davin ChooKirankumar ShiragurPublished in: CoRR (2023)
Keyphrases
- search algorithm
- directed acyclic graph
- causal models
- model checking
- heuristic search
- causal reasoning
- search methods
- causal relationships
- causal interactions
- causal inference
- causal discovery
- formal verification
- equivalence classes
- search tree
- random variables
- search strategy
- bayesian networks
- causal relations
- branch and bound
- path finding
- selection algorithm
- belief networks
- equivalence class
- signature verification
- formal methods
- graph search
- hill climbing
- directed graph
- feature selection
- causal independence
- selected subset