We are a research lab focused on investigating probabilistic models and programs that are reliable and efficient. We are based at the School of Informatics, University of Edinburgh within the Institute for Adaptive and Neural Computations (ANC).
latest news
✨✨✨ check out our cirkit library to build, learn and reason about probabilistic circuits and tensor networks ✨✨✨
- [18th Dec 2025]
- [14th Nov 2025]
- [1st May 2025]
Our paper on highlighting how complex query answering benchmarks are far from complex is accepted at ICML 2025 as a
spotlight (top 2.6%) ! - [1st Apr 2025]
AV will teach a full-day tutorial on “Neuro-symbolic integration” at the Neuro-explicit RTG retreat in Saarbrueck and a lecture on subtractive mixture models at the GeMSS 2025 summer school.
- [5th Mar 2025]
The CoLoRAI workshop and tutorial on connecting tensor factorizations and circuits at AAAI-25 went extremely well!
selected works
We investigate the connections between tensor factorizations and circuits: how the literature of the former can benefit from the theory about the latter, and how we can scale the latter with the former. Transactions on Machine Learning Research Featured Certification
We theoretically prove an expressiveness limitation of deep subtractive mixture models learned by squaring circuits. To overcome this limitation, we propose sum of squares circuits and build an expressiveness hierarchy around them, allowing us to unify and separate many tractable probabilistic models. AAAI 2025
We propose to build (deep) subtractive mixture models by squaring circuits. We theoretically prove their expressiveness by deriving an exponential lowerbound on the size of circuits with positive parameters only. ICLR 2024 spotlight (top 5%)
We highlight a weakness of low-rank linear multi-label classifiers: they can have meaningful outputs that cannot be predicted. We design a classifier which guarantees that sparse outputs can be predicted while using less trainable parameters. AAAI 2024
KGE models such as CP, RESCAL, TuckER, ComplEx can be re-interpreted as circuits to unlock their generative capabilities, scaling up inference and learning and guaranteeing the satisfaction of logical constraints by design. NeurIPS 2023 oral (top 0.6%)
We design a differentiable layer that can be plugged into any neural network to guarantee that predictions are always consistent with a set of predefined symbolic constraints and can be trained end-to-end. NeurIPS 2022
A systematic framework in which tractable inference routines can be broken down into smaller and composable primitives operating on circuit representations. NeurIPS 2021 oral (top 0.6%)