collaborators

31 papers

cs.AI2026

The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning

Agnese Chiatti, Michael Cochez, Cristina Cornelio +14

Neurosymbolic AI systems that integrate machine learning and symbolic reasoning are rapidly gaining attention. They complement the data-intensive statistical approaches of neural n…

cs.LG2026

Can VLMs Reason Robustly? A Neuro-Symbolic Investigation

Weixin Chen, Antonio Vergari, Han Zhao

Vision-Language Models (VLMs) have been applied to a wide range of reasoning tasks, yet it remains unclear whether they can reason robustly under distribution shifts. In this paper…

cs.LG2026

Neural network surrogates with uncertainty quantification for inverse problems in partial differential equations

Christian Jimenez-Beltran, Aretha L. Teckentrup, Antonio Vergari +1

Inverse problems for differential equations arise throughout science and engineering, where one seeks to infer unknown model parameters from noisy or incomplete observations. Tradi…

cs.LG2026

Half a Link can Be Enough to Predict a Whole Link: Understanding Generalization in Knowledge Graph Foundation Models

Cosimo Gregucci, Obaidah Theeb, Daniel Hernandez +2

Knowledge graph (KG) foundation models (KGFMs) are zero-shot generalizers: trained once, they can predict links on unseen graphs without retraining. However, understanding when and…

cs.LG2026

Even More Guarantees for Variational Inference in the Presence of Symmetries

Lena Zellinger, Antonio Vergari

When approximating an intractable density via variational inference (VI) the variational family is typically chosen as a simple parametric family that very likely does not contain…

cs.LG2026

Fast and Expressive Multi-Byte Prediction with Probabilistic Circuits

Andreas Grivas, Lorenzo Loconte, Emile van Krieken +6

Multi-token prediction (MTP) is a prominent strategy to significantly speed up generation in large language models (LLMs), especially in byte-level LLMs, which are tokeniser-free b…