Arthur Choi - RankMe

76 papers A* 19A 12B 1C 2Misc 1Journal 24Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Anytime Compilation of Binary Neurons to OBDDS. ICTAI Aidan Boyce, Arthur Choi
2024	J	`jnl`	On Bounding the Behavior of Neurons. Int. J. Artif. Intell. Tools Richard Borowski, Arthur Choi
2024	—	`conf`	On Provenance in Topic Models. ACM Southeast Regional Conference Misha Sharma, Arthur Choi
2023	Misc	`conf`	On Bounding the Behavior of a Neuron. FLAIRS Richard Borowski, Arthur Choi
2023	A*	`conf`	On Training Neurons with Bounded Compilations. KR Lance Kennedy, Issouf Kindo, Arthur Choi
2020	—	`conf`	A New Perspective on Learning Context-Specific Independence. PGM Yujia Shen, Arthur Choi, Adnan Darwiche
2020	J	`jnl`	A New Perspective on Learning Context-Specific Independence. CoRR Yujia Shen, Arthur Choi, Adnan Darwiche
2020	J	`jnl`	On Symbolically Encoding the Behavior of Random Forests. CoRR Arthur Choi, Andy Shih, Anchal Goyanka, Adnan Darwiche
2020	A*	`conf`	On Tractable Representations of Binary Neural Networks. KR Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi
2020	J	`jnl`	On Tractable Representations of Binary Neural Networks. CoRR Weijia Shi, Andy Shih, Adnan Darwiche, Arthur Choi
2020	—	`conf`	Supervised Learning with Background Knowledge. PGM Yizuo Chen, Arthur Choi, Adnan Darwiche
2019	A*	`conf`	Compiling Bayesian Network Classifiers into Decision Graphs. AAAI Andy Shih, Arthur Choi, Adnan Darwiche
2019	A*	`conf`	Conditional Independence in Testing Bayesian Networks. ICML Yujia Shen, Haiying Huang, Arthur Choi, Adnan Darwiche
2019	J	`jnl`	On the relative expressiveness of Bayesian and neural networks. Int. J. Approx. Reason. Arthur Choi, Ruocheng Wang, Adnan Darwiche
2019	A*	`conf`	Structured Bayesian Networks: From Inference to Learning with Routes. AAAI Yujia Shen, Anchal Goyanka, Adnan Darwiche, Arthur Choi
2019	A	`conf`	Verifying Binarized Neural Networks by Angluin-Style Learning. SAT Andy Shih, Adnan Darwiche, Arthur Choi
2018	A*	`conf`	A Symbolic Approach to Explaining Bayesian Network Classifiers. IJCAI Andy Shih, Arthur Choi, Adnan Darwiche
2018	J	`jnl`	A Symbolic Approach to Explaining Bayesian Network Classifiers. CoRR Andy Shih, Arthur Choi, Adnan Darwiche
2018	A*	`conf`	Conditional PSDDs: Modeling and Learning With Modular Knowledge. AAAI Yujia Shen, Arthur Choi, Adnan Darwiche
2018	—	`conf`	Formal Verification of Bayesian Network Classifiers. PGM Andy Shih, Arthur Choi, Adnan Darwiche
2018	J	`jnl`	On pruning with the MDL Score. Int. J. Approx. Reason. Eunice Yuh-Jie Chen, Adnan Darwiche, Arthur Choi
2018	—	`conf`	On the Relative Expressiveness of Bayesian and Neural Networks. PGM Arthur Choi, Adnan Darwiche
2018	J	`jnl`	On the Relative Expressiveness of Bayesian and Neural Networks. CoRR Arthur Choi, Ruocheng Wang, Adnan Darwiche
2017	A	`conf`	A Tractable Probabilistic Model for Subset Selection. UAI Yujia Shen, Arthur Choi, Adnan Darwiche
2017	J	`jnl`	Learning Bayesian network parameters under equivalence constraints. Artif. Intell. Tiansheng Yao, Arthur Choi, Adnan Darwiche
2017	A*	`conf`	On Relaxing Determinism in Arithmetic Circuits. ICML Arthur Choi, Adnan Darwiche
2017	J	`jnl`	On Relaxing Determinism in Arithmetic Circuits. CoRR Arthur Choi, Adnan Darwiche
2017	—	`conf`	Tractability in Structured Probability Spaces. NIPS Arthur Choi, Yujia Shen, Adnan Darwiche
2016	A	`conf`	Enumerating Equivalence Classes of Bayesian Networks using EC Graphs. AISTATS Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
2016	—	`conf`	Learning Bayesian networks with ancestral constraints. NIPS Eunice Yuh-Jie Chen, Yujia Shen, Arthur Choi, Adnan Darwiche
2016	—	`conf`	On Pruning with the MDL Score. Probabilistic Graphical Models Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
2016	A*	`conf`	Solving PP KR Umut Oztok, Arthur Choi, Adnan Darwiche
2016	A*	`conf`	Structured Features in Naive Bayes Classification. AAAI Arthur Choi, Nazgol Tavabi, Adnan Darwiche
2016	—	`conf`	Tractable Operations for Arithmetic Circuits of Probabilistic Models. NIPS Yujia Shen, Arthur Choi, Adnan Darwiche
2015	—	`conf`	Computer Adaptive Testing Using the Same-Decision Probability. BMA@UAI Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
2015	J	`jnl`	Dual Decomposition from the Perspective of Relax, Compensate and then Recover. CoRR Arthur Choi, Adnan Darwiche
2015	A	`conf`	Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. UAI Guy Van den Broeck, Karthika Mohan, Arthur Choi, Adnan Darwiche, Judea Pearl
2015	—	`conf`	Learning Bayesian Networks with Non-Decomposable Scores. GKR Eunice Yuh-Jie Chen, Arthur Choi, Adnan Darwiche
2015	—	`conf`	Probability Distributions over Structured Spaces. AAAI Spring Symposia Arthur Choi, Guy Van den Broeck, Adnan Darwiche
2015	—	`conf`	Tractable Learning for Complex Probability Queries. NIPS Jessa Bekker, Jesse Davis, Arthur Choi, Adnan Darwiche, Guy Van den Broeck
2015	A*	`conf`	Tractable Learning for Structured Probability Spaces: A Case Study in Learning Preference Distributions. IJCAI Arthur Choi, Guy Van den Broeck, Adnan Darwiche
2015	A*	`conf`	Value of Information Based on Decision Robustness. AAAI Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
2014	J	`jnl`	Algorithms and Applications for the Same-Decision Probability. J. Artif. Intell. Res. Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
2014	—	`conf`	Decomposing Parameter Estimation Problems. NIPS Khaled S. Refaat, Arthur Choi, Adnan Darwiche
2014	J	`jnl`	Efficient Algorithms for Bayesian Network Parameter Learning from Incomplete Data. CoRR Guy Van den Broeck, Karthika Mohan, Arthur Choi, Judea Pearl
2014	A*	`conf`	Probabilistic Sentential Decision Diagrams. KR Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche
2013	A*	`conf`	An Exact Algorithm for Computing the Same-Decision Probability. IJCAI Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche
2013	C	`conf`	Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams. ECSQARU Arthur Choi, Doga Kisa, Adnan Darwiche
2013	A*	`conf`	Dynamic Minimization of Sentential Decision Diagrams. AAAI Arthur Choi, Adnan Darwiche
2013	—	`conf`	EDML for Learning Parameters in Directed and Undirected Graphical Models. NIPS Khaled S. Refaat, Arthur Choi, Adnan Darwiche
2013	J	`jnl`	Software health management with Bayesian networks. Innov. Syst. Softw. Eng. Johann Schumann, Timmy Mbaya, Ole J. Mengshoel, Knot Pipatsrisawat, Ashok N. Srivastava, Arthur Choi, Adnan Darwiche
2012	J	`jnl`	A Variational Approach for Approximating Bayesian Networks by Edge Deletion. CoRR Arthur Choi, Adnan Darwiche
2012	J	`jnl`	Approximating the Partition Function by Deleting and then Correcting for Model Edges CoRR Arthur Choi, Adnan Darwiche
2012	A*	`conf`	Basing Decisions on Sentences in Decision Diagrams. AAAI Yexiang Xue, Arthur Choi, Adnan Darwiche
2012	J	`jnl`	EDML: A Method for Learning Parameters in Bayesian Networks CoRR Arthur Choi, Khaled S. Refaat, Adnan Darwiche
2012	J	`jnl`	Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference CoRR Guy Van den Broeck, Arthur Choi, Adnan Darwiche
2012	A	`conf`	Lifted Relax, Compensate and then Recover: From Approximate to Exact Lifted Probabilistic Inference. UAI Guy Van den Broeck, Arthur Choi, Adnan Darwiche
2012	J	`jnl`	New Advances and Theoretical Insights into EDML CoRR Khaled S. Refaat, Arthur Choi, Adnan Darwiche
2012	A	`conf`	New Advances and Theoretical Insights into EDML. UAI Khaled S. Refaat, Arthur Choi, Adnan Darwiche
2012	J	`jnl`	Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks CoRR Arthur Choi, Mark Chavira, Adnan Darwiche
2012	J	`jnl`	On Bayesian Network Approximation by Edge Deletion CoRR Arthur Choi, Hei Chan, Adnan Darwiche
2012	J	`jnl`	Same-decision probability: A confidence measure for threshold-based decisions. Int. J. Approx. Reason. Arthur Choi, Yexiang Xue, Adnan Darwiche
2011	A	`conf`	EDML: A Method for Learning Parameters in Bayesian Networks. UAI Arthur Choi, Khaled S. Refaat, Adnan Darwiche
2010	J	`jnl`	Optimal algorithms for haplotype assembly from whole-genome sequence data. Bioinform. Dan He, Arthur Choi, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin
2010	—	`conf`	Relax, Compensate and Then Recover. JSAI-isAI Workshops Arthur Choi, Adnan Darwiche
2009	—	`conf`	Approximating MAP by Compensating for Structural Relaxations. NIPS Arthur Choi, Adnan Darwiche
2009	A	`conf`	Approximating Weighted Max-SAT Problems by Compensating for Relaxations. CP Arthur Choi, Trevor Standley, Adnan Darwiche
2008	A	`conf`	Approximating the Partition Function by Deleting and then Correcting for Model Edges. UAI Arthur Choi, Adnan Darwiche
2008	C	`conf`	Efficient Genome Wide Tagging by Reduction to SAT. WABI Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin
2008	A*	`conf`	Focusing Generalizations of Belief Propagation on Targeted Queries. AAAI Arthur Choi, Adnan Darwiche
2008	A*	`conf`	Many-Pairs Mutual Information for Adding Structure to Belief Propagation Approximations. AAAI Arthur Choi, Adnan Darwiche
2008	J	`jnl`	Solving Weighted Max-SAT Problems in a Reduced Search Space: A Performance Analysis. J. Satisf. Boolean Model. Comput. Knot Pipatsrisawat, Akop Palyan, Mark Chavira, Arthur Choi, Adnan Darwiche
2007	A	`conf`	Node Splitting: A Scheme for Generating Upper Bounds in Bayesian Networks. UAI Arthur Choi, Mark Chavira, Adnan Darwiche
2006	A	`conf`	A Variational Approach for Approximating Bayesian Networks by Edge Deletion. UAI Arthur Choi, Adnan Darwiche
2006	A*	`conf`	An Edge Deletion Semantics for Belief Propagation and its Practical Impact on Approximation Quality. AAAI Arthur Choi, Adnan Darwiche
2005	A	`conf`	On Bayesian Network Approximation by Edge Deletion. UAI Adnan Darwiche, Hei Chan, Arthur Choi