Verification and search algorithms for causal DAGs.
Davin ChooKirankumar ShiragurArnab BhattacharyyaPublished in: NeurIPS (2022)
Keyphrases
- search algorithm
- directed acyclic graph
- causal models
- model checking
- causal networks
- causal reasoning
- belief networks
- independence relations
- causal relationships
- search space
- search methods
- heuristic search
- causal independence
- conditional independence
- search tree
- causal discovery
- formal verification
- face verification
- branch and bound
- satisfiability problem
- path finding
- equivalence class
- formal methods
- causal relations
- causal graph
- asynchronous circuits
- search strategies
- causal structure
- causal inference
- verification method
- causal knowledge
- bayesian networks