Showing cs.AIShow all
3 papers · 1 filter
cs.AI2025
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…
cs.AI2025
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…
cs.AI2025
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…