activity
20122020
most citedOn Relaxing Determinism in Arithmetic Circuits

26 citations · 65 across the 7 of their papers we have counts for

collaborators
Showing cs.AIShow all

9 papers · 1 filter

cs.AI202019 cited

On Symbolically Encoding the Behavior of Random Forests

Arthur Choi, Andy Shih, Anchal Goyanka +1

Recent work has shown that the input-output behavior of some machine learning systems can be captured symbolically using Boolean expressions or tractable Boolean circuits, which fa…

cs.AI2020

A New Perspective on Learning Context-Specific Independence

Yujia Shen, Arthur Choi, Adnan Darwiche

Local structure such as context-specific independence (CSI) has received much attention in the probabilistic graphical model (PGM) literature, as it facilitates the modeling of lar…

cs.AI2018

On the Relative Expressiveness of Bayesian and Neural Networks

Arthur Choi, Ruocheng Wang, Adnan Darwiche

A neural network computes a function. A central property of neural networks is that they are "universal approximators:" for a given continuous function, there exists a neural netwo…

cs.AI2018

A Symbolic Approach to Explaining Bayesian Network Classifiers

Andy Shih, Arthur Choi, Adnan Darwiche

We propose an approach for explaining Bayesian network classifiers, which is based on compiling such classifiers into decision functions that have a tractable and symbolic form. We…

cs.AI201726 cited

On Relaxing Determinism in Arithmetic Circuits

Arthur Choi, Adnan Darwiche

The past decade has seen a significant interest in learning tractable probabilistic representations. Arithmetic circuits (ACs) were among the first proposed tractable representatio…

cs.AI2015

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

Arthur Choi, Adnan Darwiche

Relax, Compensate and then Recover (RCR) is a paradigm for approximate inference in probabilistic graphical models that has previously provided theoretical and practical insights o…