| 2025 | ICTAI | Anytime Compilation of Binary Neurons to OBDDS. | Aidan Boyce, Arthur Choi |
| 2023 | FlAIRS | On Bounding the Behavior of a Neuron. | Richard Borowski, Arthur Choi |
| 2023 | KR | On Training Neurons with Bounded Compilations. | Lance Kennedy, Issouf Kindo, Arthur Choi |
| 2020 | KR | On Tractable Representations of Binary Neural Networks. | Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi |
| 2019 | AAAI | Structured Bayesian Networks: From Inference to Learning with Routes. | Yujia Shen, Anchal Goyanka, Adnan Darwiche, Arthur Choi |
| 2019 | AAAI | Compiling Bayesian Network Classifiers into Decision Graphs. | Andy Shih, Arthur Choi, Adnan Darwiche |
| 2019 | ICML | Conditional Independence in Testing Bayesian Networks. | Yujia Shen, Haiying Huang, Arthur Choi, Adnan Darwiche |
| 2019 | SAT | Verifying Binarized Neural Networks by Angluin-Style Learning. | Andy Shih, Adnan Darwiche, Arthur Choi |
| 2018 | AAAI | Conditional PSDDs: Modeling and Learning With Modular Knowledge. | Yujia Shen, Arthur Choi, Adnan Darwiche |
| 2018 | IJCAI | A Symbolic Approach to Explaining Bayesian Network Classifiers. | Andy Shih, Arthur Choi, Adnan Darwiche |
| 2017 | ICML | On Relaxing Determinism in Arithmetic Circuits. | Arthur Choi, Adnan Darwiche |
| 2017 | UAI | A Tractable Probabilistic Model for Subset Selection. | Yujia Shen, Arthur Choi, Adnan Darwiche |
| 2016 | AAAI | Structured Features in Naive Bayes Classification. | Arthur Choi, Nazgol Tavabi, Adnan Darwiche |
| 2016 | AISTATS | Enumerating Equivalence Classes of Bayesian Networks using EC Graphs. | Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche |
| 2016 | KR | Solving PP | Umut Oztok, Arthur Choi, Adnan Darwiche |
| 2015 | AAAI | Value of Information Based on Decision Robustness. | Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche |
| 2015 | IJCAI | Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions. | Arthur Choi, Guy Van den Broeck, Adnan Darwiche |
| 2015 | UAI | Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. | Guy Van den Broeck, Karthika Mohan, Arthur Choi, Adnan Darwiche, Judea Pearl |
| 2015 | UAI | Computer Adaptive Testing Using the Same-Decision Probability. | Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche |
| 2014 | KR | Probabilistic Sentential Decision Diagrams. | Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche |
| 2013 | AAAI | Dynamic Minimization of Sentential Decision Diagrams. | Arthur Choi, Adnan Darwiche |
| 2013 | ECSQARU | Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. | Arthur Choi, Doga Kisa, Adnan Darwiche |
| 2013 | IJCAI | An Exact Algorithm for Computing the Same-Decision Probability. | Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche |
| 2012 | AAAI | Basing Decisions on Sentences in Decision Diagrams. | Yexiang Xue, Arthur Choi, Adnan Darwiche |
| 2012 | UAI | Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference. | Guy Van den Broeck, Arthur Choi, Adnan Darwiche |
| 2012 | UAI | New Advances and Theoretical Insights into EDML. | Khaled S. Refaat, Arthur Choi, Adnan Darwiche |
| 2011 | UAI | EDML: A Method for Learning Parameters in Bayesian Networks. | Arthur Choi, Khaled S. Refaat, Adnan Darwiche |
| 2009 | CP | Approximating Weighted Max-SAT Problems by Compensating for Relaxations. | Arthur Choi, Trevor Standley, Adnan Darwiche |
| 2008 | AAAI | Focusing Generalizations of Belief Propagation on Targeted Queries. | Arthur Choi, Adnan Darwiche |
| 2008 | AAAI | Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. | Arthur Choi, Adnan Darwiche |
| 2008 | UAI | Approximating the Partition Function by Deleting and then Correcting for Model Edges. | Arthur Choi, Adnan Darwiche |
| 2008 | WABI | Efficient Genome Wide Tagging by Reduction to SAT. | Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin |
| 2007 | UAI | Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. | Arthur Choi, Mark Chavira, Adnan Darwiche |
| 2006 | AAAI | An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality. | Arthur Choi, Adnan Darwiche |
| 2006 | UAI | A Variational Approach for Approximating Bayesian Networks by Edge Deletion. | Arthur Choi, Adnan Darwiche |
| 2005 | UAI | On Bayesian Network Approximation by Edge Deletion. | Adnan Darwiche, Hei Chan, Arthur Choi |