Subset verification and search algorithms for causal DAGs 
Davin Choo, Kirankumar Shiragur 
International Conference on Artificial Intelligence and Statistics (AISTATS) 
2023 
arXiv,
Code

Verification and search algorithms for causal DAGs 
Davin Choo, Kirankumar Shiragur, Arnab Bhattacharyya 
Conference on Neural Information Processing Systems (NeurIPS) 
2022 
NeurIPS,
Code,
arXiv,
Slides,
Longer slides

Learning Sparse FixedStructure Gaussian Bayesian Networks 
Arnab Bhattacharyya, Davin Choo, Rishikesh Gajjala, Sutanu Gayen, Yuhao Wang 
International Conference on Artificial Intelligence and Statistics (AISTATS) 
2022 
AISTATS,
Code,
arXiv

The Complexity of Sparse Tensor PCA 
Davin Choo, Tommaso d'Orsi 
Conference on Neural Information Processing Systems (NeurIPS) 
2021 
Video,
NeurIPS,
arXiv,
Slides

Massively Parallel Correlation Clustering in Bounded Arboricity Graphs 
Mélanie Cambus, Davin Choo, Havu Miikonen, Jara Uitto 
International Symposium on Distributed Computing (DISC) 
2021 
Video,
DISC,
arXiv

kmeans++: few more steps yield constant approximation 
Davin Choo, Christoph Grunau, Julian Portmann, Václav Rozhoň 
International Conference on Machine Learning (ICML) 
2020 
Video,
ICML,
arXiv,
Slides

BOSPHORUS: Bridging ANF and CNF Solvers 
Davin Choo, Mate Soos, Kian Ming A. Chai, Kuldeep S. Meel 
Proceedings of Design, Automation, and Test in Europe (DATE) 
2019 
Paper,
DATE,
Code

Chemical Structure Elucidation from Mass Spectrometry by Matching Substructures 
Jing Lim, Joshua Wong, Minn Xuan Wong, Lee Han Eric Tan, Hai Leong Chieu, Davin Choo, Neng Kai Nigel Neo 
Machine Learning for Molecules and Materials (NeurIPS Workshop) 
2018 
arXiv
