🔥 Can AI reason over time while following logical rules in relational domains? We will present Relational Neurosymbolic Markov Models (NeSy-MMs) next week at #AAAI2025! 🎉 📜 Paper: arxiv.org/pdf/2412.13023 💻 Code: github.com/ML-KULeuven/ne… 🧵⬇️

We are going to present our poster "Sum of Squares Circuits" at AAAI in Philadelphia today Hall E 12:30pm-14:00pm poster #840 We trace expressiveness connections of different types of additive and subtractive deep mixture models and tensor networks 📜 arxiv.org/abs/2408.11778

Circuits use sum-product computation graphs to model probability densities. But how do we ensure the non-negativity of the output? Check out our poster "On the Relationship between Monotone and Squared Probabilistic Circuits" at AAAI 2025 **today**: 12:30pm-14:30pm #841.

We all know backpropagation can calculate gradients, but it can do much more than that! Come to my #AAAI2025 oral tomorrow (11:45, Room 119B) to learn more.

Our paper "Low-rank finetuning for LLMs is inherently unfair" won a 𝐛𝐞𝐬𝐭 𝐩𝐚𝐩𝐞𝐫 𝐚𝐰𝐚𝐫𝐝 at the AAAI colorai workshop! #AAAI2025 Congratulations to amazing co-authors Nando Fioretto Saswat Das Cuong Tran and M. Romanelli 🥳🥳🥳

Chaitanya K. Joshi Ben Finkelshtein Fabrizio Frasca Michael Bronstein Bryan Perozzi Michael Galkin Christopher Morris hi, we found problematic benchmarks in complex query answering as well! arxiv.org/abs/2410.12537 antonio vergari ⚔️ not at #ICML2025 Mathias Niepert Cosimo Gregucci@ICML Christopher Morris Michael Galkin

🚨New at #ICLR: we introduce the first ever 𝐥𝐚𝐲𝐞𝐫 that makes 𝐚𝐧𝐲 neural network 𝐜𝐨𝐦𝐩𝐥𝐢𝐚𝐧𝐭 𝐛𝐲 𝐝𝐞𝐬𝐢𝐠𝐧 with constraints expressed as 𝐝𝐢𝐬𝐣𝐮𝐧𝐜𝐭𝐢𝐨𝐧𝐬 𝐨𝐟 𝐥𝐢𝐧𝐞𝐚𝐫 𝐢𝐧𝐞𝐪𝐮𝐚𝐥𝐢𝐭𝐢𝐞𝐬—even if they define 𝐧𝐨𝐧-𝐜𝐨𝐧𝐯𝐞𝐱 𝐬𝐩𝐚𝐜𝐞𝐬!

We developed a library to make logical reasoning embarrassingly parallel on the GPU. For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!

In LoCo-LMs, we propose a neuro-symbolic loss function to fine-tune a LM to acquire logically consistent knowledge from a domain graph, i.e. wrt. to a set of logical consistency rules. Stefano Teso antonio vergari ⚔️ not at #ICLR2025 arxiv.org/abs/2409.13724

Just under 10 days left to submit your latest endeavours in ⚡#tractable⚡ probabilistic models❗ Join us at TPM ยัยตัวร้าย auai.org #UAI2025 and show how to build #neurosymbolic / #probabilistic AI that is both fast and trustworthy!

We propose Neurosymbolic Diffusion Models! We find diffusion is especially compelling for neurosymbolic approaches, combining powerful multimodal understanding with symbolic reasoning 🚀 Read more 👇

🧵Why are linear properties so ubiquitous in LLM representations? We explore this question through the lens of 𝗶𝗱𝗲𝗻𝘁𝗶𝗳𝗶𝗮𝗯𝗶𝗹𝗶𝘁𝘆: “All or None: Identifiable Linear Properties of Next-token Predictors in Language Modeling” Published at #AISTATS2025🌴 1/9

Spotlight poster coming soon at #ICML2025 ICML Conference! 📌East Exhibition Hall A-B E-1806 🗓️Wed 16 Jul 4:30 p.m. PDT — 7 p.m. PDT 📜arxiv.org/pdf/2410.12537 Let’s chat! I’m always up for conversations about knowledge graphs, reasoning, neuro-symbolic AI, and benchmarking.

EurIPS is coming! 📣 Mark your calendar for Dec. 2-7, 2025 in Copenhagen 📅 EurIPS is a community-organized conference where you can present accepted NeurIPS 2025 papers, endorsed by NeurIPS Conference and #NordicAIR and is co-developed by ELLIS eurips.cc