2 papers
cs.AI2026
Dsat: A Native SAT Solver for Discrete Logic
Yaofang Zhang, Ken Zhou, Adnan Darwiche
Discrete variables are common in many applications, such as probabilistic reasoning, planning and explainable AI. When symbolic reasoning techniques are brought in to bear on these…
cs.AI2026
Circuit Representations of Random Forests with Applications to XAI
Chunxi Ji, Adnan Darwiche
We make three contributions in this paper. First, we present an approach for compiling a random forest classifier into a set of circuits, where each circuit directly encodes the in…