De krachten bundelen in Artificiële Intelligentie: KU Leuven, TU Eindhoven en RWTH Aachen Aachen gaan nauw samenwerken in AI-onderzoek en -onderwijs. Om zo een stevige impuls te geven aan basisonderzoek en innovatie. De ELA-triangle op zijn sterkst. nieuws.kuleuven.be/nl/2023/ku-leu…

Very excited about our work 𝗦𝗮𝘆𝗖𝗮𝗻𝗣𝗮𝘆: LLMs + heuristic planning 𝗦𝗮𝘆: LLM suggests actions 𝗖𝗮𝗻: evaluate feasibility 𝗣𝗮𝘆: evaluates long-term reward rishihazra.github.io/SayCanPay/ Work with Rishi Hazra, Pedro #LLM #HeuristicPlanning #LLMPlanning

We are hiring! Associate senior lecturer (ako assistant professor) position on learning and reasoning in AI (e.g. neurosymbolic AI) available in our group at Örebro U WASP Research Örebro universitet @amyloutfi web103.reachmee.com/ext/I003/354/j…

This is not a joke. Thomas Winters defended his PhD thesis on computational humor ! A full auditorium. It was (and is) a privilege to work with him.

Another celebration at DTAI. Pieter Delobelle defended his excellent work with Bettina Berendt on fairness in LLMs. I am so proud to have such outstanding students in our lab.

We had 7 defences in my group this year. An amazing year, and also Vincent has been amazing to work with. He wrote an exceptional thesis, and tackled hard computational problems using knowledge compilation.

Congratulations ! Well-deserved.

Congrats ! Well-deserved. Outstanding thesis in neurosymbolic AI. Fundamental insights in fuzzy vs probability, inference and learning in neurosymbolic AI. Highly recommended.

Vacancy at Örebro University (Sweden) for a Professor in AI and Robotics at the Centre of Applied Autonomous Sensor Systems, one of Sweden’s largest research environments in robotics and AI. See oru.se/jobba-hos-oss/…

📢#NeSy 2024: 18th International Conference on Neural-Symbolic Learning and Reasoning (sites.google.com/view/nesy2024). Barcelona, Spain. September 9-12, 2024. Deadline full papers: April 12, 2024. Artur d'Avila Garcez @[email protected] Neurosymbolic AI @ City

We have openings at PhD and post-doc-level in Neurosymbolic AI at KU Leuven. DTAI Leuven.AI #neuro #symbolic kuleuven.be/personeel/jobs…

Applications for the KU Leuven #SummerSchool on the Law, Ethics & Policy of #AI are now open! - Apply by: 27 March (midnight CET) - Notifications: mid-April - AI Summer School: 1 to 10 July 2024 All info on our website: law.kuleuven.be/ai-summer-scho… See you there! AI Summer School - KU Leuven

Eric Xu (e/Mettā) Yuandong Tian AK If you like LLMs in combination with planning you might enjoy our (Rishi Hazra Luc De Raedt) work on heuristic search (freshly presented at AAAI) rishihazra.github.io/SayCanPay And yes, this is a shameless plug 🙃

We are happy to announce that ESSAI 2024 registrations are open. essai2024.di.uoa.gr/registration.h… The early registration phase is available until June 16th!!! European Association for Artificial Intelligence, TAILOR EU Network, "Archimedes" Research Unit, NCSR Demokritos, EETN, @ecai2024, AAAI

Probabilistic Circuits course at #ESSAI2024 Register now at essai2024.di.uoa.gr/registration.h… European Association for Artificial Intelligence TAILOR EU Network "Archimedes" Research Unit EETN @ecai2024 AAAI Manolis Koubarakis Vida Groznik Tijl De Bie Luc De Raedt Martin Mundt @ropeharz TU Graz antonio vergari ⚔️ not at #ICLR2025 The University of Edinburgh @vision_claire

Want to join us? New ZAP position in the DTAI research group: kuleuven.be/personeel/jobs…

Come and see the poster #1004 tomorrow at 13:30!

🔍 𝐂𝐚𝐧 𝐋𝐋𝐌𝐬 𝐑𝐞𝐚𝐬𝐨𝐧? We present a computational theory perspective of reasoning using 3-SAT, the prototypical NP-complete problem underpinning logical reasoning. Can Large Language Models Reason? A Characterization via 3-SAT arXiv: arxiv.org/pdf/2408.07215 1/3

The application period for a two year postdoc position in neurosymbolic AI is open for a couple more days (deadline October 21). Here at Örebro universitet the right candidate will have the opportunity to work with Luc De Raedt and I on some of the big problems in NeSy AI today. 1/N

Vandaag spreken we met 2 professoren AI Walter Daelemans aan de UA , en Luc De Raedt aan de KU Leuven. AI is een term geworden om alles te beschrijven wat een technologische component heeft, dus starten we met 'artificial intelligence' te definiëren. youtu.be/jy-2Fbq8RCc