Projects
Enhancing Digital Engagement and Explainability of AI-Driven Stress Management KU Leuven
This PhD research will investigate how digital engagement with AI-based technologies can be enhanced in the context of stress recovery and adaptive coping mechanisms. It aims to deepen our understanding of how to integrate smart, motivational design techniques to promote adherence to interventions and improve overall well-being.
An agentic codified framework for lower hallucination and better explainability in Legal question answering. University of Antwerp
On the Relationship Between Proofs and Explanations KU Leuven
The ultimate dream of declarative problem solving is that one should only specify their problems, in an human-understandable way and that a computer can then automatically solve them. In this project, we are concerned with two issues related to solvers that actually do this for us. The first is explainability: how can such a tool explain its decisions to the user who specified the problem in the first place. The second is ...
ProToX: From Proofs to Explanations (and Back Again) KU Leuven
The ultimate dream of declarative problem solving is that one should only specify their problems, in an human-understandable way and that a computer can then automatically solve them.
In this project, we are concerned with two issues related to solvers that actually do this for us.
The first is explainability: how can such a tool explain its decisions to the user who specified the problem in the first place.
The second is ...
Sabbatical Celine Vens: Advanced machine learninig methods in healthcare KU Leuven
The advent of deep learning methods has revolutionized the field of machine learning and its practical applications. Also in the domain of healthcare, deep learning has led to many breaktroughs, for example in computerized diagnostics. Although most of the initial successes have been achieved in the context of medical imaging, we are now seeing many applications of deep learning with other sources of medical data, such as electronic health ...