Tractable Boolean and Arithmetic Circuits

7 February 2022

Papers citing "Tractable Boolean and Arithmetic Circuits"

8 / 8 papers shown

Title
Constrained Identifiability of Causal Effects Yizuo Chen Adnan Darwiche CML 94 0 0 03 Dec 2024
$R^2$ -Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning Mintong Kang Yue Liu LRM 71 13 0 08 Jul 2024
Causal Unit Selection using Tractable Arithmetic Circuits Haiying Huang Adnan Darwiche 32 3 0 10 Apr 2024
COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits Mintong Kang Nezihe Merve Gürel Linyi Li Yue Liu 60 5 0 17 Mar 2024
Tractable Bounding of Counterfactual Queries by Knowledge Compilation David Huber Yizuo Chen Alessandro Antonucci Adnan Darwiche Marco Zaffalon TPM 34 4 0 05 Oct 2023
On the Complexity of Counterfactual Reasoning Yunqiu Han Yizuo Chen Adnan Darwiche 31 6 0 24 Nov 2022
Causal Inference Using Tractable Circuits Adnan Darwiche TPM CML 29 20 0 07 Feb 2022
Neurosymbolic AI: The 3rd Wave Artur Garcez Luís C. Lamb NAI 65 299 0 10 Dec 2020