If you care about enforcing constraints over time without breaking your computational resources, then read our new blog post over at @aihub.org! It focuses on showing how our neurosymbolic Markov models beat the SOTA in out-of-distribution generalisation and so much more.

AIhub.org@aihub.org · 6mo ago

aihub.org/2026/02/19/r...

We developed a library to make logical reasoning embarrasingly 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!

What is reasoning and have LLMs learned it? We answer these two questions in our new pre-print using the phase transition in random 3-SAT. arxiv.org/abs/2504.039... Together with @rishihazra95.bsky.social, @gabventurato.bsky.social and @lucderaedt.bsky.social Here is also a longer thread:

#ai #llms #reasoning #deepseek #3sat #iclr | Rishi Hazra

🚨 𝗡𝗲𝘄 𝗣𝗮𝗽𝗲𝗿 𝗔𝗹𝗲𝗿𝘁: 𝗛𝗮𝘃𝗲 𝗟𝗮𝗿𝗴𝗲 𝗟𝗮𝗻𝗴𝘂𝗮𝗴𝗲 𝗠𝗼𝗱𝗲𝗹𝘀 𝗟𝗲𝗮𝗿𝗻𝗲𝗱 𝘁𝗼 𝗥𝗲𝗮𝘀𝗼𝗻? Despite their impressive performance on reasoning tasks, LLMs often succeed by fitting to patterns rather than understanding logic. Are...

linkedin.com

If you're at #AAAI2025, come check out our demo on neurosymbolic reinforcement learning with probabilistic logic shields 🤖 Tomorrow (Sat, March 1) from 12:30–2:30 PM during the poster session 💻

David Debot@daviddebot.bsky.social · last yr.

🚀 Do you care about safe AI? Do you want RL agents that are both smart & trustworthy? At #AAAI2025, we present our demo for neurosymbolic RL—combining deep learning with probabilistic logic shields for safer, interpretable AI in complex environments. 🏰🔥 🧵👇 (1/8)

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.

If you're at #AAAI2025, come check out my talk tomorrow (Fri, Feb 28) from 9:30–10:45 AM in the Machine Learning track! 👨🏻‍🏫 📍 Swing by our poster later in the day for more discussion!

Gabriele Venturato@gabventurato.bsky.social · last yr.

🔥 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/... 🧵⬇️

🔥 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/... 🧵⬇️

🚀 Do you care about safe AI? Do you want RL agents that are both smart & trustworthy? At #AAAI2025, we present our demo for neurosymbolic RL—combining deep learning with probabilistic logic shields for safer, interpretable AI in complex environments. 🏰🔥 🧵👇 (1/8)

🦕The 19th conference on Neurosymbolic AI will be in beautiful Santa Cruz (CA, USA), September 8-10, 2025! CFP is now out: 2025.nesyconf.org/call-for-pap... 🚨 Paper deadline: Feb 28 (abstract), March 7 (full) #neurosymbolic #NeSy2025

I made a starter pack with the people doing something related to Neurosymbolic AI that I could find. Let me know if I missed you! go.bsky.app/RMJ8q3i

Meet our researchers from the DTAI lab at KU Leuven! Using this starter pack, you can keep up with all the AI research from our PhD students, post-docs, professors and alumni 🦋