Cover Image

Bounded PCTL Model Checking of Large Language Model Outputs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gross, Dennis, Spieker, Helge, Gotlieb, Arnaud
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verifying Memoryless Sequential Decision-making of Large Language Models
by: Gross, Dennis, et al.
Published: (2025)

Probabilistic Model Checking of Stochastic Reinforcement Learning Policies
by: Gross, Dennis, et al.
Published: (2024)

Enhancing Manufacturing Quality Prediction Models through the Integration of Explainability Methods
by: Gross, Dennis, et al.
Published: (2024)

Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations
by: Belmecheri, Nassim, et al.
Published: (2024)

Semi-supervised CAPP Transformer Learning via Pseudo-labeling
by: Gross, Dennis, et al.
Published: (2026)

Evaluating Human Trajectory Prediction with Metamorphic Testing
by: Spieker, Helge, et al.
Published: (2024)

Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies
by: Gross, Dennis, et al.
Published: (2025)

Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations
by: Belmecheri, Nassim, et al.
Published: (2024)

Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks
by: Belmecheri, Nassim, et al.
Published: (2025)

Rashomon in the Streets: Explanation Ambiguity in Scene Understanding
by: Spieker, Helge, et al.
Published: (2025)

Translating the Rashomon Effect to Sequential Decision-Making Tasks
by: Gross, Dennis, et al.
Published: (2025)

Turn-based Multi-Agent Reinforcement Learning Model Checking
by: Gross, Dennis
Published: (2025)

Efficient Milling Quality Prediction with Explainable Machine Learning
by: Gross, Dennis, et al.
Published: (2024)

Prompting for Performance: Exploring LLMs for Configuring Software
by: Spieker, Helge, et al.
Published: (2025)

Constraint-Guided Test Execution Scheduling: An Experience Report at ABB Robotics
by: Gotlieb, Arnaud, et al.
Published: (2023)

Fact-Checking the Output of Large Language Models via Token-Level Uncertainty Quantification
by: Fadeeva, Ekaterina, et al.
Published: (2024)

Rationality Check! Benchmarking the Rationality of Large Language Models
by: Zhou, Zhilun, et al.
Published: (2025)

Policy Testing with MDPFuzz (Replicability Study)
by: Mazouni, Quentin, et al.
Published: (2025)

Efficiently Ranking Software Variants with Minimal Benchmarks
by: Matricon, Théo, et al.
Published: (2025)

Metamorphic Testing of Multimodal Human Trajectory Prediction
by: Spieker, Helge, et al.
Published: (2025)

Testing for Fault Diversity in Reinforcement Learning
by: Mazouni, Quentin, et al.
Published: (2024)

The Outputs of Large Language Models are Meaningless
by: Hattiangadi, Anandi, et al.
Published: (2025)

Enhancing RL Safety with Counterfactual LLM Reasoning
by: Gross, Dennis, et al.
Published: (2024)

Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies
by: Gross, Dennis, et al.
Published: (2024)

Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming
by: Brayé, Clotilde, et al.
Published: (2025)

A Unified Assessment of the Poverty of the Stimulus Argument for Neural Language Models
by: Yang, Xiulin, et al.
Published: (2026)

Large Language Model-Driven Code Compliance Checking in Building Information Modeling
by: Madireddy, Soumya, et al.
Published: (2025)

SLOT: Structuring the Output of Large Language Models
by: Wang, Darren Yow-Bang, et al.
Published: (2025)

Vaporizer: Breaking Watermarking Schemes for Large Language Model Outputs
by: Ng, Jonathan Hong Jin, et al.
Published: (2026)

Output Scouting: Auditing Large Language Models for Catastrophic Responses
by: Bell, Andrew, et al.
Published: (2024)

What Is Missing: Interpretable Ratings for Large Language Model Outputs
by: Stranges, Nicholas, et al.
Published: (2026)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
by: Lin, Deren, et al.
Published: (2014)

VibeCheck: Discover and Quantify Qualitative Differences in Large Language Models
by: Dunlap, Lisa, et al.
Published: (2024)

Multimodal Large Language Models to Support Real-World Fact-Checking
by: Geng, Jiahui, et al.
Published: (2024)

Learning to Check: Unleashing Potentials for Self-Correction in Large Language Models
by: Zhang, Che, et al.
Published: (2024)

Fact-Checking with Large Language Models via Probabilistic Certainty and Consistency
by: Wang, Haoran, et al.
Published: (2026)

ClaimCheck: Real-Time Fact-Checking with Small Language Models
by: Putta, Akshith Reddy, et al.
Published: (2025)

An Evaluation on Large Language Model Outputs: Discourse and Memorization
by: de Wynter, Adrian, et al.
Published: (2023)

Detoxification of Large Language Models through Output-layer Fusion with a Calibration Model
by: Tian, Yuanhe, et al.
Published: (2025)

Output Format Biases in the Evaluation of Large Language Models for Code Translation
by: Macedo, Marcos, et al.
Published: (2024)