@inproceedings{NEURIPS2022_5340b0c0, author = {Choo, Davin and Shiragur, Kirankumar and Bhattacharyya, Arnab}, booktitle = {Advances in Neural Information Processing Systems}, editor = {S. Koyejo and S. Mohamed and A. Agarwal and D. Belgrave and K. Cho and A. Oh}, pages = {12787--12799}, publisher = {Curran Associates, Inc.}, title = {Verification and search algorithms for causal DAGs}, url = {https://proceedings.neurips.cc/paper_files/paper/2022/file/5340b0c0b76dc0115f5cc91c20c1251d-Paper-Conference.pdf}, volume = {35}, year = {2022} }