Sign in

DTAI - KU Leuven

@dtai-kuleuven.bsky.social
236 followers 51 following 6 posts

Declarative Languages and Artificial Intelligence research group at the KU Leuven Computer Science department. dtai.cs.kuleuven.be

PostsRepliesMedia
Reposted by DTAI - KU Leuven
David Debot @daviddebot.bsky.social · 06/07/2026
🚨 Can we trust that the “concepts” in concept-based models actually mean what we think they mean? Our new work, Prototype-Grounded Concept Models (PGCMs), makes concept alignment directly inspectable and correctable. #ICML26 Paper: arxiv.org/abs/2604.16076 🧵 (1/5)
131
Reposted by DTAI - KU Leuven
lennertds.bsky.social @lennertds.bsky.social · 24/02/2026
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.
0104
Reposted by DTAI - KU Leuven
Rik Adriaensen @rik-a3.bsky.social · 22/01/2026
📌 Tomorrow we present a poster on ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias at #AAAI (Machine Learning 2, poster 1233, 12pm - 2 pm).
142
Reposted by DTAI - KU Leuven
Jaron Maene @jjcmoon.bsky.social · 05/12/2025
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...
openreview.net
1102
DTAI - KU Leuven @dtai-kuleuven.bsky.social · 28/10/2025
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
110
DTAI - KU Leuven @dtai-kuleuven.bsky.social · 28/10/2025
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 🎓👏🥂🍾
000
DTAI - KU Leuven @dtai-kuleuven.bsky.social · 17/10/2025
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
061
Reposted by DTAI - KU Leuven
Pieter Robberechts @probberechts.bsky.social · 11/06/2025
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-...
runeasi.ai
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.
363
Reposted by DTAI - KU Leuven
Jaron Maene @jjcmoon.bsky.social · 23/04/2025
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!
1257
Reposted by DTAI - KU Leuven
Pieter Robberechts @probberechts.bsky.social · 10/04/2025
📣 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
dtai.cs.kuleuven.be
MLSA 2025
Workshop on Machine Learning and Data Mining for Sports Analytics at ECML/PKDD 2025
1196
Reposted by DTAI - KU Leuven
Nix @nix-cartoonist.bsky.social · 22/03/2025
🌟 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
021
DTAI - KU Leuven @dtai-kuleuven.bsky.social · 04/03/2025
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.
1121
Reposted by DTAI - KU Leuven
Jaron Maene @jjcmoon.bsky.social · 27/02/2025
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.
12710
Reposted by DTAI - KU Leuven
Gabriele Venturato @gabventurato.bsky.social · 25/02/2025
🔥 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/... 🧵⬇️
12511
Reposted by DTAI - KU Leuven
David Debot @daviddebot.bsky.social · 24/02/2025
🚀 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)
184
Reposted by DTAI - KU Leuven
Jesse Davis @jessejdavis.bsky.social · 11/02/2025
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...
kuleuven.be
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...
11716
Reposted by DTAI - KU Leuven
Jesse Davis @jessejdavis.bsky.social · 06/02/2025
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...
lirias.kuleuven.be
1202
DTAI - KU Leuven @dtai-kuleuven.bsky.social · 11/01/2025
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
0150
Reposted by DTAI - KU Leuven
David Debot @daviddebot.bsky.social · 04/12/2024
🚨 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)
2247
Reposted by DTAI - KU Leuven
Jesse Davis @jessejdavis.bsky.social · 21/11/2024
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/...
dtai.cs.kuleuven.be
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…
2259
Reposted by DTAI - KU Leuven
Vaishak Belle @vaishakbelle.bsky.social · 26/11/2024
Luc De Raedt: How to Make Logics Neurosymbolic - in case you missed it -
buff.ly
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...
0183
DTAI - KU Leuven @dtai-kuleuven.bsky.social · 22/11/2024
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 🦋
3198