Arthur Choi

1. On Relaxing Determinism in Arithmetic Circuits
   2017/08/22 by Arthur Choi, Choi, Arthur, Adnan Darwiche +1 · 5 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Machine Learning (cs.LG) #Numerical Methods and Algorithms #Quantum Computing Algorithms and Architecture
2. On Bayesian Network Approximation by Edge Deletion
   2012/07/04 by Arthur Choi, Choi, Arthur, Hei Chan +3 · 1 citation
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Data Management and Algorithms #FOS: Computer and information sciences
3. On Tractable Representations of Binary Neural Networks
   2020/04/05 by Weijia Shi, Shi, Weijia, Andy Shih +5 · 2 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
4. On Symbolically Encoding the Behavior of Random Forests
   2020/07/03 by Arthur Choi, Choi, Arthur, Andy Shih +5 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
5. Approximating the Partition Function by Deleting and then Correcting for Model Edges
   2012/06/13 by Arthur Choi, Adnan Darwiche, Choi, Arthur +1 · 1 citation
   Computer Science · Mathematics · #Bayesian Methods and Mixture Models #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Markov Chains and Monte Carlo Methods