🚨 𝗡𝗲𝘄 𝗣𝗮𝗽𝗲𝗿 𝗔𝗹𝗲𝗿𝘁: 𝗛𝗮𝘃𝗲 𝗟𝗮𝗿𝗴𝗲 𝗟𝗮𝗻𝗴𝘂𝗮𝗴𝗲 𝗠𝗼𝗱𝗲𝗹𝘀 𝗟𝗲𝗮𝗿𝗻𝗲𝗱 𝘁𝗼 𝗥𝗲𝗮𝘀𝗼𝗻? Despite their impressive performance on reasoning tasks, LLMs often succeed by fitting to patterns rather than understanding logic. Are...

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

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