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 Fixed-Structure 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
|
k-means++: 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
|