DTAI - KU Leuven

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

My Marathon Journey with Runeasi by Pieter Robberechts Discover my marathon journey with Runeasi by Pieter Robberechts, including my race day experience and new personal best of 2:31:59.

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)

Several PhD Positions in Artificial Intelligence at Computer Science KU Leuven All positions are in the Machine Learning subgroup of the Section for Declarative Languages and Artificial Intelligence (DTAI), which is part of the Department of Computer Science at KU Leuven. The DT...

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)

Three key design decisions for possession state value models: an experimental analysis A fundamental question for anyone interested in soccer is how to evaluate a player’s individual contributions using data. While counting…

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 Abstract: Neurosymbolic AI (NeSy) is regarded as the third wave in AI. It aims at combining knowledge representation and reasoning with neural networks. Nume...

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 🦋