Follow
Arthur Choi
Arthur Choi
Verified email at kennesaw.edu - Homepage
Title
Cited by
Cited by
Year
A symbolic approach to explaining bayesian network classifiers
A Shih, A Choi, A Darwiche
arXiv preprint arXiv:1805.03364, 2018
2292018
Probabilistic sentential decision diagrams
D Kisa, G Van den Broeck, A Choi, A Darwiche
Fourteenth International Conference on the Principles of Knowledge …, 2014
1902014
Optimal algorithms for haplotype assembly from whole-genome sequence data
D He, A Choi, K Pipatsrisawat, A Darwiche, E Eskin
Bioinformatics 26 (12), i183-i190, 2010
1582010
Dynamic minimization of sentential decision diagrams
A Choi, A Darwiche
Proceedings of the AAAI Conference on Artificial Intelligence 27 (1), 187-194, 2013
862013
Compiling probabilistic graphical models using sentential decision diagrams
A Choi, D Kisa, A Darwiche
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 12th …, 2013
832013
Compiling bayesian network classifiers into decision graphs
A Shih, A Choi, A Darwiche
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 7966-7974, 2019
772019
On tractable representations of binary neural networks
W Shi, A Shih, A Darwiche, A Choi
arXiv preprint arXiv:2004.02082, 2020
712020
On relaxing determinism in arithmetic circuits
A Choi, A Darwiche
International Conference on Machine Learning, 825-833, 2017
682017
Tractable operations for arithmetic circuits of probabilistic models
Y Shen, A Choi, A Darwiche
Advances in Neural Information Processing Systems 29, 2016
682016
Tractable learning for complex probability queries
J Bekker, J Davis, A Choi, A Darwiche, G Van den Broeck
Advances in Neural Information Processing Systems 28, 2015
672015
Tractable learning for structured probability spaces: A case study in learning preference distributions
A Choi, G Van den Broeck, A Darwiche
Proceedings of 24th International Joint Conference on Artificial …, 2015
652015
Same-decision probability: A confidence measure for threshold-based decisions
A Choi, Y Xue, A Darwiche
International Journal of Approximate Reasoning 53 (9), 1415-1428, 2012
632012
Basing decisions on sentences in decision diagrams
Y Xue, A Choi, A Darwiche
Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 842-849, 2012
592012
An edge deletion semantics for belief propagation and its practical impact on approximation quality
A Choi, A Darwiche
Proceedings of the National Conference on Artificial Intelligence 21 (2), 1107, 2006
582006
Verifying binarized neural networks by angluin-style learning
A Shih, A Darwiche, A Choi
Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019
562019
Node splitting: A scheme for generating upper bounds in bayesian networks
A Choi, M Chavira, A Darwiche
Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence …, 2007
49*2007
Lifted relax, compensate and then recover: From approximate to exact lifted probabilistic inference
G Van den Broeck, A Choi, A Darwiche
Proceedings of the 28th conference on uncertainty in artificial intelligence …, 2012
442012
Software health management with Bayesian networks
J Schumann, T Mbaya, O Mengshoel, K Pipatsrisawat, A Srivastava, ...
Innovations in Systems and Software Engineering 9, 271-292, 2013
432013
Structured features in naive Bayes classification
A Choi, N Tavabi, A Darwiche
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
422016
Formal verification of Bayesian network classifiers
A Shih, A Choi, A Darwiche
International Conference on Probabilistic Graphical Models, 427-438, 2018
402018
The system can't perform the operation now. Try again later.
Articles 1–20