1 citations · 2 across the 17 of their papers we have counts for
6 papers · 1 filter
Translating the Rashomon Effect to Sequential Decision-Making Tasks
Dennis Gross, Jørn Eirik Betten, Helge Spieker
The Rashomon effect describes the phenomenon where multiple models trained on the same data produce identical predictions while differing in which features they rely on internally.…
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…
Reusable Test Suites for Reinforcement Learning
Jørn Eirik Betten, Quentin Mazouni, Dennis Gross +2
Reinforcement learning (RL) agents show great promise in solving sequential decision-making tasks. However, validating the reliability and performance of the agent policies' behavi…
Prompting for Performance: Exploring LLMs for Configuring Software
Helge Spieker, Théo Matricon, Nassim Belmecheri +7
Software systems usually provide numerous configuration options that can affect performance metrics such as execution time, memory usage, binary size, or bitrate. On the one hand,…
Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies
Dennis Gross, Helge Spieker
Deep reinforcement learning (RL) policies can demonstrate unsafe behaviors and are challenging to interpret. To address these challenges, we combine RL policy model checking--a tec…