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 74 0 0 03 Dec 2024
$R^2$ -Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning Mintong Kang Bo-wen Li LRM 40 12 0 08 Jul 2024
Causal Unit Selection using Tractable Arithmetic Circuits Haiying Huang Adnan Darwiche 25 3 0 10 Apr 2024
COLEP: Certifiably Robust Learning-Reasoning Conformal Prediction via Probabilistic Circuits Mintong Kang Nezihe Merve Gürel Linyi Li Bo-wen Li 40 5 0 17 Mar 2024
Tractable Bounding of Counterfactual Queries by Knowledge Compilation David Huber Yizuo Chen Alessandro Antonucci Adnan Darwiche Marco Zaffalon TPM 23 4 0 05 Oct 2023
On the Complexity of Counterfactual Reasoning Yunqiu Han Yizuo Chen Adnan Darwiche 18 6 0 24 Nov 2022
Causal Inference Using Tractable Circuits Adnan Darwiche TPM CML 11 19 0 07 Feb 2022
Neurosymbolic AI: The 3rd Wave Artur Garcez Luís C. Lamb NAI 65 292 0 10 Dec 2020