Adnan Darwiche
Professor
Leads the Automated Reasoning Group on probabilistic and logical reasoning, tractable circuits and explaining the decisions of learned classifiers.
Adnan Darwiche's lab at UCLA works on reasoning & neuro-symbolic AI, probabilistic & causal inference and reasoning & agents. 15 papers since 2023, 2 at top venues, mostly IJCAI and NeurIPS. 54 alumni. Applications close .
At a glance
- papers, 2023–2026
- 4/ year
- at T1 venues
- 13%
- PhD students
- 0
- MS students
- 0
- alumni listed
- 54
Papers by yearfrom DBLP, 2023–2026
- 4 papers2026 · T1 0 · collecting
- 0 papers2025 · T1 0
- 5 papers2024 · T1 1
- 6 papers2023 · T1 1
T1 venuesOtherVenues: IJCAI, NeurIPS
Research focuspaper titles that use each topic's words
- Probabilistic & causal inference6 papers
- classifiers2 papers
- Reasoning & neuro-symbolic AI1 paper
- Reasoning & agents1 paper
- logical reasoning0 papers
Paper list
From DBLP.
20264 papers
- EntropyAn Algorithmic Treatment of Causal Unit Selection (opens in a new tab)
- ISAIMCircuit Representation of Random Forests with Applications to XAI (opens in a new tab)
- SATDsat: A Native SAT Solver for Discrete Logic (opens in a new tab)
- ISAIMScaling the Explanation of Multi-Class Bayesian Network Classifiers (opens in a new tab)
20245 papers
- FLAIRSCausal Unit Selection using Tractable Arithmetic Circuits (opens in a new tab)
- NeurIPS (T1)Identifying Causal Effects Under Functional Dependencies (opens in a new tab)
- Ann. Math. Artif. Intell.Knowledge compilation (opens in a new tab)
- Int. J. Approx. Reason.Towards an effective practice of learning from data and knowledge (opens in a new tab)
- FLAIRSWhich Actions Are Always Necessary in Fully-Observable Non-Deterministic Planning? (opens in a new tab)
20236 papers
- JELIAA New Class of Explanations for Classifiers with Non-binary Features (opens in a new tab)
- CLeaRAn Algorithm and Complexity Results for Causal Unit Selection (opens in a new tab)
- ACM Trans. Reconfigurable Technol. Syst.FPGA Acceleration of Probabilistic Sentential Decision Diagrams with High-level Synthesis (opens in a new tab)
- LICSLogic for Explainable AI (opens in a new tab)
- J. Log. Lang. Inf.On the (Complete) Reasons Behind Decisions (opens in a new tab)
- IJCAI (T1)On the Complexity of Counterfactual Reasoning (opens in a new tab)
Where alumni went54 listed
Apply to UCLAFall 2027
Computer Science PhD
- Round
- Single round (Dec 15)
- Opens
- —
- GRE
- optional
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- USUCSD
Dima Drusvyatskiy
- Learning theory & optimization
- USUCLA
Guang Cheng
- Trustworthy & safe ML
- USUT Austin
Kaushik Chowdhury
- Trustworthy & safe ML
- USCMU
Sivaraman Balakrishnan
- Learning theory & optimization
- USUSC
Bistra Dilkina
- Learning theory & optimization
- CNSJTU
Jiangchao Yao
- Learning theory & optimization
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- DBLP
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
UCLAcloses