1/5 Tomorrow I’ll talk about the 𝐩𝐫𝐨𝐛𝐚𝐛𝐢𝐥𝐢𝐬𝐭𝐢𝐜 𝐩𝐫𝐨𝐠𝐫𝐚𝐦𝐦𝐢𝐧𝐠 𝐬𝐞𝐦𝐚𝐧𝐭𝐢𝐜𝐬 𝐨𝐟 𝐝𝐢𝐟𝐟𝐞𝐫𝐞𝐧𝐭𝐢𝐚𝐛𝐥𝐞 𝐩𝐫𝐨𝐯𝐢𝐧𝐠 at #NeurIPS San Diego (poster #614 11am). 📃 openreview.net/pdf?id=rEUbD... 📺 www.youtube.com/watch?v=sOTX...

Congratulations to DTAI PhD student Dries Van Daele, for successfully defending his PhD thesis on "Toepassingen van Relationele en Probabilistische Logica": tinyurl.com/363z38yb 🎓👏🥂🍾 @lucderaedt.bsky.social, @jessejdavis.bsky.social, @wannesm.bsky.social, @robjelier.bsky.social

Congratulations to DTAI PhD student Ignace Bleukx for successfully defending his PhD thesis on "Towards Efficient and User-oriented Explanations for Constraint Solving": tinyurl.com/2s37uknv 🎓👏🥂🍾

Congratulations to DTAI PhD student Laurens Devos for successfully defending his PhD thesis on "Verification and reasoning for decision tree ensembles": tinyurl.com/47efmbj5 🎓👏🥂🍾 @wannesm.bsky.social @jessejdavis.bsky.social

I strongly believe biomechanical analysis will be the next big leap in sports analytics—and not just for the pros. I got a glimpse by testing the @runeasi.bsky.social sensor (a @dtai-kuleuven.bsky.social spin-off) and wrote about how it helped during my marathon training → runeasi.ai/my-marathon-...

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!

📣 Excited to share that the Workshop on Machine Learning and Data Mining for Sports Analytics (MLSA) will be held again this September as part of @ecmlpkdd.org! w/ @hugoriosneto.bsky.social, @azimmerdm.bsky.social and Maaike Van Roy dtai.cs.kuleuven.be/events/MLSA25

🌟 I had an inspiring conversation on the Radio 1 program "Voorproevers"! With theater maker Yves Degryse and host Annemie Peeters, we discussed the role of AI in the arts. The podcast: 🎧https://www.vrt.be/vrtmax/luister/radio/v/voorproevers~11-175/voorproevers~11-30038-0/ @radio1vrt.bsky.social

Congratulations to our DTAI researchers for presenting their work at #AAAI2025 #AAAI25 Lennert De Smet, Dimos Tsouros, Liesbeth Allein, Jaron Maene, David Depot, Ignace Bleukx.

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.

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

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...

It was a pleasure to collaborate with Maaike over the course of her PhD!! I'm thrilled that she'll stay a bit longer! She did amazing work. The thread below details some research that did not even make the thesis, which can you read here: lirias.kuleuven.be/retrieve/790...

Congratulations to DTAI PhD student Maaike Van Roy for successfully defending her PhD thesis on "Soccer Through the Lens of Artificial Intelligence: Analyzing Actions and Tactics by Learning and Reasoning": shorturl.at/RqeVB 🎓👏🥂🍾 @jessejdavis.bsky.social @lucderaedt.bsky.social @janvanhaaren.be

🚨 Interpretable AI often means sacrificing accuracy—but what if we could have both? Most interpretable AI models, like Concept Bottleneck Models, force us to trade accuracy for interpretability. But not anymore, due to Concept-Based Memory Reasoner (CMR)! #NeurIPS2024 (1/7)

We're doing a deep dive into possession value models. While VAEP, g+, PV & OBV are conceptually identical, they make different design choices. We look at using (no) goal vs. xG as the target variable. w/Lorenzo Cascioli @probberechts.bsky.social Lode Van Tente dtai.cs.kuleuven.be/sports/blog/...

Luc De Raedt: How to Make Logics Neurosymbolic - in case you missed it -

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 🦋