Antonio Vergari
Reader
Leads the april lab, researching reliable and efficient probabilistic models and programs, including tractable inference with probabilistic circuits and neuro-symbolic AI.
Antonio Vergari's lab at Edinburgh works on probabilistic & causal inference, reasoning & neuro-symbolic AI and efficient training & inference. 27 papers since 2023, 8 at top venues, mostly AAAI and ICLR. 7 PhD students. 3 alumni.
At a glance
- papers, 2023–2026
- 7/ year
- at T1 venues
- 30%
- PhD students
- 7
- MS students
- 0
- alumni listed
- 3
Papers by yearfrom the lab homepage, 2023–2026
- 1 papers2026 · T1 1 · collecting
- 10 papers2025 · T1 3
- 12 papers2024 · T1 3
- 4 papers2023 · T1 1
T1 venuesOtherVenues: AAAI, ICLR, NeurIPS, AISTATS, ICML
Research focuspaper titles that use each topic's words
- Reasoning & neuro-symbolic AI10 papers
- Probabilistic & causal inference6 papers
- probabilistic6 papers
- Efficient training & inference0 papers
- programs0 papers
Paper list
From the lab homepage.
20261 paper
202510 papers
- UAI oralA Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction (opens in a new tab)
- TPMAutoencoding Probabilistic Circuits (opens in a new tab)
- ICML spotlightIs Complex Query Answering Really Complex? (opens in a new tab)
- ICLR (T1)Logically Consistent Language Models via Neuro-Symbolic Integration (opens in a new tab)
- NeurIPS (T1)Neurosymbolic Diffusion Models (opens in a new tab)
- NeSy - PhaseNeurosymbolic Reasoning Shortcuts under the Independence Assumption (opens in a new tab)
- CoLoRAIOn Faster Marginalization with Squared Circuits via Orthonormalization (opens in a new tab)
- AAAI (T1)Sum of Squares Circuits (opens in a new tab)
- Findings NAACLWhat can Large Language Models Capture about Code Functional Equivalence? (opens in a new tab)
- Transactions on Machine Learning Research Featured CertificationWhat is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)? (opens in a new tab)
202412 papers
- NeurIPS Datasets & Benchmarks trackA Benchmark Suite for Systematically Evaluating Reasoning Shortcuts (opens in a new tab)
- Nature Translational PsychiatryAutomated mood disorder symptoms monitoring from multivariate time-series sensory data: getting the full picture beyond a single number (opens in a new tab)
- UAI spotlightBEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts (opens in a new tab)
- WCCIChemAlgebra: Algebraic Reasoning on Chemical Reactions (opens in a new tab)
- AI4DifferentialEquations @ ICLRGalerkin meets Laplace: Fast uncertainty estimation in neural PDEs (opens in a new tab)
- ICML (T1)On the Independence Assumption in Neurosymbolic Learning (opens in a new tab)
- ACL FindingsPIXAR: Auto-Regressive Language Modeling in Pixel Space (opens in a new tab)
- AISTATS (T1)Probabilistic Integral Circuits (opens in a new tab)
- NeurIPS spotlightScaling Continuous Latent Variable Models as Probabilistic Integral Circuits (opens in a new tab)
- ICLR spotlightSubtractive Mixture Models via Squaring: Representation and Learning (opens in a new tab)
- AAAI (T1)Taming the Sigmoid Bottleneck: Provably Argmaxable Sparse Multi-Label Classification (opens in a new tab)
- R2FM Workshop @ ICLRTowards Logically Consistent Language Models via Probabilistic Reasoning (opens in a new tab)
20234 papers
- NeurIPS oralHow to Turn Your Knowledge Graph Embeddings into Generative Models via Probabilistic Circuits (opens in a new tab)
- TPMNegative Mixture Models via Squaring: Representation and Learning (opens in a new tab)
- NeurIPS (T1)Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts (opens in a new tab)
- TPMUnifying and Understanding Overparameterized Circuit Representations via Low-Rank Tensor Decompositions (opens in a new tab)
Where alumni went3 listed, 0% to industry
Industry 0Academia 2
Also to
- University of Edinburgh
Apply to EdinburghFall 2027
Not announced yet
Informatics PhD
- Round
- Rolling (funding consideration)
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- none
Not yet confirmed for this intake.
Similar labsnearest by research summary
- CNPeking
Xin Zhang
- Compilers & programming languages
- USUSC
Weihang Wang
- Compilers & programming languages
- GBOxford
Maike Osborne
- Probabilistic & causal inference
- CNTsinghua
Yanyan Lan
- Recommendation, search & web
- CNZhejiang
Rongpeng Li
- Reinforcement learning
- CAToronto
Scott Sanner
- Reinforcement learning
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.