33 citations · 59 across the 4 of their papers we have counts for
3 papers · 1 filter
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…
Smoothing Structured Decomposable Circuits
Andy Shih, Guy Van den Broeck, Paul Beame +1
We study the task of smoothing a circuit, i.e., ensuring that all children of a plus-gate mention the same variables. Circuits serve as the building blocks of state-of-the-art infe…
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…