38 citations · 56 across the 20 of their papers we have counts for
3 papers · 2 filters
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…