Subset verification and search algorithms for causal DAGs.
Davin ChooKirankumar ShiragurPublished in: AISTATS (2023)
Keyphrases
- search algorithm
- directed acyclic graph
- causal models
- model checking
- causal reasoning
- branch and bound
- equivalence class
- face verification
- heuristic search
- search space
- search strategy
- search problems
- hill climbing
- formal verification
- path finding
- data sets
- causal inference
- search methods
- functional verification
- causal theories
- causal structure
- observational data
- causal knowledge
- conditional independence
- approximation methods
- heuristic search algorithms
- tree search
- causal relationships
- search strategies
- lower bound
- bayesian networks