Very proud of this work from my group, achieving really impressive speedups in neurosymbolic inference.

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:

Leuven.AI proudly presents its first Creative AI event. Featuring keynotes on computational creativity, humor and poetry generation, and human-machine collaboration. Check out the program: ai.kuleuven.be/events/creat... @leuvenai.bsky.social @kuleuvenuniversity.bsky.social

We are hiring for PhD positions! I’m looking for people interested in exploring the intersection of learning and reasoning with applications to anomaly detection and sports. @dtai-kuleuven.bsky.social @wannesm.bsky.social www.kuleuven.be/personeel/jo...

This was joint work with @lucderaedt.bsky.social.

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.

🚀 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)

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