Luc De Raedt
@lucderaedt.bsky.social
Professor of AI, DTAI, KU Leuven; Wallenberg Guestprofessor AASS, Örebro University; Director http://Leuven.AI, AAAI and EurAI Fellow, Former PC Chair IJCAI, ICML, ECAI and ECMLPKDD, ERC AdG 2015 and 2023
Reposted by Luc De Raedt
The 4th European Summer School on Artificial Intelligence (ESSAI 2026) will take place 6–10 July 2026 in Vienna, Austria. We invite leading AI researchers to submit course proposals for this premier event.
The deadline for course proposals is December 3, 2025.
Full details at essai2026.eu
The deadline for course proposals is December 3, 2025.
Full details at essai2026.eu
November 7, 2025 at 1:52 PM
The 4th European Summer School on Artificial Intelligence (ESSAI 2026) will take place 6–10 July 2026 in Vienna, Austria. We invite leading AI researchers to submit course proposals for this premier event.
The deadline for course proposals is December 3, 2025.
Full details at essai2026.eu
The deadline for course proposals is December 3, 2025.
Full details at essai2026.eu
Very proud of this work from my group, achieving really impressive speedups in neurosymbolic inference.
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!
For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!
April 23, 2025 at 11:07 AM
Very proud of this work from my group, achieving really impressive speedups in neurosymbolic inference.
Reposted by Luc De Raedt
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:
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...
www.linkedin.com
April 9, 2025 at 6:39 AM
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:
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:
Reposted by Luc De Raedt
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
Check out the program: ai.kuleuven.be/events/creat... @leuvenai.bsky.social @kuleuvenuniversity.bsky.social
March 10, 2025 at 4:10 PM
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
Check out the program: ai.kuleuven.be/events/creat... @leuvenai.bsky.social @kuleuvenuniversity.bsky.social
Reposted by Luc De Raedt
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...
www.kuleuven.be/personeel/jo...
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...
www.kuleuven.be
February 11, 2025 at 7:39 PM
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...
www.kuleuven.be/personeel/jo...
Reposted by Luc De Raedt
This was joint work with @lucderaedt.bsky.social.
The Gradient of Algebraic Model Counting
Algebraic model counting unifies many inference tasks on logic formulas by exploiting semirings. Rather than focusing on inference, we consider learning, especially in statistical-relational and neuro...
arxiv.org
February 27, 2025 at 11:47 PM
This was joint work with @lucderaedt.bsky.social.
Reposted by Luc De Raedt
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.
Come to my #AAAI2025 oral tomorrow (11:45, Room 119B) to learn more.
February 27, 2025 at 11:45 PM
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.
Come to my #AAAI2025 oral tomorrow (11:45, Room 119B) to learn more.
Reposted by Luc De Raedt
🚀 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)
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)
February 24, 2025 at 12:26 PM
🚀 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)
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)
Reposted by Luc De Raedt
🔥 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/...
🧵⬇️
📜 Paper: arxiv.org/pdf/2412.13023
💻 Code: github.com/ML-KULeuven/...
🧵⬇️
February 25, 2025 at 11:01 AM
🔥 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/...
🧵⬇️
📜 Paper: arxiv.org/pdf/2412.13023
💻 Code: github.com/ML-KULeuven/...
🧵⬇️