38 citations · 56 across the 20 of their papers we have counts for
6 papers · 1 filter
Learning Symbolic Constraint Representations from Examples: A Neuro-Symbolic Approach
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar +1
Learning user-defined concepts as constraint networks has been extensively studied in the constraint acquisition (CA) literature. However, existing approaches typically rely on int…
Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming
Clotilde Brayé, Aurélien Bricout, Arnaud Gotlieb +2
Medical Intelligent Systems (MIS) are increasingly integrated into healthcare workflows, offering significant benefits but also raising critical safety and ethical concerns. Accord…
Verifying Memoryless Sequential Decision-making of Large Language Models
Dennis Gross, Helge Spieker, Arnaud Gotlieb
We introduce a tool for rigorous and automated verification of large language model (LLM)- based policies in memoryless sequential decision-making tasks. Given a Markov decision pr…
Bounded PCTL Model Checking of Large Language Model Outputs
Dennis Gross, Helge Spieker, Arnaud Gotlieb
In this paper, we introduce LLMCHECKER, a model-checking-based verification method to verify the probabilistic computation tree logic (PCTL) properties of an LLM text generation pr…
Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods
Dennis Gross, Helge Spieker, Arnaud Gotlieb +1
This research presents a method that utilizes explainability techniques to amplify the performance of machine learning (ML) models in forecasting the quality of milling processes,…
Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar +1
Understanding driving scenes and communicating automated vehicle decisions are key requirements for trustworthy automated driving. In this article, we introduce the Qualitative Exp…