Arthur Choi

According to our database, Arthur Choi authored at least 60 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On Training Neurons with Bounded Compilations.

Lance Kennedy, Issouf Kindo, Arthur Choi

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

On Bounding the Behavior of a Neuron.

Richard Borowski, Arthur Choi

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

2020

On Symbolically Encoding the Behavior of Random Forests.

Arthur Choi, Andy Shih, Anchal Goyanka, Adnan Darwiche

CoRR, 2020

A New Perspective on Learning Context-Specific Independence.

Yujia Shen, Arthur Choi, Adnan Darwiche

Proceedings of the International Conference on Probabilistic Graphical Models, 2020

Supervised Learning with Background Knowledge.

Yizuo Chen, Arthur Choi, Adnan Darwiche

Proceedings of the International Conference on Probabilistic Graphical Models, 2020

On Tractable Representations of Binary Neural Networks.

Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

On the relative expressiveness of Bayesian and neural networks.

Arthur Choi, Ruocheng Wang, Adnan Darwiche

Int. J. Approx. Reason., 2019

Verifying Binarized Neural Networks by Angluin-Style Learning.

Andy Shih, Adnan Darwiche, Arthur Choi

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019

Conditional Independence in Testing Bayesian Networks.

Yujia Shen, Haiying Huang, Arthur Choi, Adnan Darwiche

Proceedings of the 36th International Conference on Machine Learning, 2019

Compiling Bayesian Network Classifiers into Decision Graphs.

Andy Shih, Arthur Choi, Adnan Darwiche

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Structured Bayesian Networks: From Inference to Learning with Routes.

Yujia Shen, Anchal Goyanka, Adnan Darwiche, Arthur Choi

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

On pruning with the MDL Score.

Eunice Yuh-Jie Chen, Adnan Darwiche, Arthur Choi

Int. J. Approx. Reason., 2018

Formal Verification of Bayesian Network Classifiers.

Andy Shih, Arthur Choi, Adnan Darwiche

Proceedings of the International Conference on Probabilistic Graphical Models, 2018

On the Relative Expressiveness of Bayesian and Neural Networks.

Arthur Choi, Adnan Darwiche

Proceedings of the International Conference on Probabilistic Graphical Models, 2018

A Symbolic Approach to Explaining Bayesian Network Classifiers.

Andy Shih, Arthur Choi, Adnan Darwiche

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Conditional PSDDs: Modeling and Learning With Modular Knowledge.

Yujia Shen, Arthur Choi, Adnan Darwiche

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Learning Bayesian network parameters under equivalence constraints.

Tiansheng Yao, Arthur Choi, Adnan Darwiche

Artif. Intell., 2017

A Tractable Probabilistic Model for Subset Selection.

Yujia Shen, Arthur Choi, Adnan Darwiche

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

Tractability in Structured Probability Spaces.

Arthur Choi, Yujia Shen, Adnan Darwiche

Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

On Relaxing Determinism in Arithmetic Circuits.

Arthur Choi, Adnan Darwiche

Proceedings of the 34th International Conference on Machine Learning, 2017

2016

Tractable Operations for Arithmetic Circuits of Probabilistic Models.

Yujia Shen, Arthur Choi, Adnan Darwiche

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

Learning Bayesian networks with ancestral constraints.

Eunice Yuh-Jie Chen, Yujia Shen, Arthur Choi, Adnan Darwiche

Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016

Solving PP^PP-Complete Problems Using Knowledge Compilation.

Umut Oztok, Arthur Choi, Adnan Darwiche

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Enumerating Equivalence Classes of Bayesian Networks using EC Graphs.

Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche

Proceedings of the 19th International Conference on Artificial Intelligence and Statistics, 2016

Structured Features in Naive Bayes Classification.

Arthur Choi, Nazgol Tavabi, Adnan Darwiche

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Dual Decomposition from the Perspective of Relax, Compensate and then Recover.

Arthur Choi, Adnan Darwiche

CoRR, 2015

Computer Adaptive Testing Using the Same-Decision Probability.

Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

Proceedings of the Twelfth UAI Bayesian Modeling Applications Workshop (BMAW 2015) co-located with the 31st Conference on Uncertainty in Artificial Intelligence (UAI 2015), 2015

Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data.

Guy Van den Broeck, Karthika Mohan, Arthur Choi, Adnan Darwiche, Judea Pearl

Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, 2015

Tractable Learning for Complex Probability Queries.

Jessa Bekker, Jesse Davis, Arthur Choi, Adnan Darwiche, Guy Van den Broeck

Proceedings of the Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, 2015

Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions.

Arthur Choi, Guy Van den Broeck, Adnan Darwiche

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Learning Bayesian Networks with Non-Decomposable Scores.

Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2015

Probability Distributions over Structured Spaces.

Arthur Choi, Guy Van den Broeck, Adnan Darwiche

Proceedings of the 2015 AAAI Spring Symposia, 2015

Value of Information Based on Decision Robustness.

Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Algorithms and Applications for the Same-Decision Probability.

Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

J. Artif. Intell. Res., 2014

Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data.

Guy Van den Broeck, Karthika Mohan, Arthur Choi, Judea Pearl

CoRR, 2014

Decomposing Parameter Estimation Problems.

Khaled S. Refaat, Arthur Choi, Adnan Darwiche

Proceedings of the Advances in Neural Information Processing Systems 27: Annual Conference on Neural Information Processing Systems 2014, 2014

Probabilistic Sentential Decision Diagrams.

Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

2013

Software health management with Bayesian networks.

Johann Schumann, Timmy Mbaya, Ole J. Mengshoel, Knot Pipatsrisawat, Ashok N. Srivastava, Arthur Choi, Adnan Darwiche

Innov. Syst. Softw. Eng., 2013

EDML for Learning Parameters in Directed and Undirected Graphical Models.

Khaled S. Refaat, Arthur Choi, Adnan Darwiche

Proceedings of the Advances in Neural Information Processing Systems 26: 27th Annual Conference on Neural Information Processing Systems 2013. Proceedings of a meeting held December 5-8, 2013

An Exact Algorithm for Computing the Same-Decision Probability.

Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

Proceedings of the IJCAI 2013, 2013

Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams.

Arthur Choi, Doga Kisa, Adnan Darwiche

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013

Dynamic Minimization of Sentential Decision Diagrams.

Arthur Choi, Adnan Darwiche

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Same-decision probability: A confidence measure for threshold-based decisions.

Arthur Choi, Yexiang Xue, Adnan Darwiche

Int. J. Approx. Reason., 2012

New Advances and Theoretical Insights into EDML.

Khaled S. Refaat, Arthur Choi, Adnan Darwiche

Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference.

Guy Van den Broeck, Arthur Choi, Adnan Darwiche

Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence, 2012

Basing Decisions on Sentences in Decision Diagrams.

Yexiang Xue, Arthur Choi, Adnan Darwiche

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

EDML: A Method for Learning Parameters in Bayesian Networks.

Arthur Choi, Khaled S. Refaat, Adnan Darwiche

Proceedings of the UAI 2011, 2011

2010

Optimal algorithms for haplotype assembly from whole-genome sequence data.

Dan He, Arthur Choi, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin

Bioinform., 2010

Relax, Compensate and Then Recover.

Arthur Choi, Adnan Darwiche

Proceedings of the New Frontiers in Artificial Intelligence, 2010

2009

Approximating MAP by Compensating for Structural Relaxations.

Arthur Choi, Adnan Darwiche

Proceedings of the Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7-10 December 2009, 2009

Approximating Weighted Max-SAT Problems by Compensating for Relaxations.

Arthur Choi, Trevor Standley, Adnan Darwiche

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis.

Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche

J. Satisf. Boolean Model. Comput., 2008

Efficient Genome Wide Tagging by Reduction to SAT.

Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin

Proceedings of the Algorithms in Bioinformatics, 8th International Workshop, 2008

Approximating the Partition Function by Deleting and then Correcting for Model Edges.

Arthur Choi, Adnan Darwiche

Proceedings of the UAI 2008, 2008

Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations.

Arthur Choi, Adnan Darwiche

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Focusing Generalizations of Belief Propagation on Targeted Queries.

Arthur Choi, Adnan Darwiche

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks.

Arthur Choi, Mark Chavira, Adnan Darwiche

Proceedings of the UAI 2007, 2007

2006

A Variational Approach for Approximating Bayesian Networks by Edge Deletion.

Arthur Choi, Adnan Darwiche

Proceedings of the UAI '06, 2006

An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality.

Arthur Choi, Adnan Darwiche

Proceedings of the Proceedings, 2006

2005

On Bayesian Network Approximation by Edge Deletion.

Adnan Darwiche, Hei Chan, Arthur Choi

Proceedings of the UAI '05, 2005