Arxiv 2608 30581v1 Automated Testing Of Llm Based Post Hoc Explainers

--
name: arxiv-2608-30581v1-automated-testing-of-llm-based-post-hoc-explainers
description: 'Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle (arXiv: 2608.30581v1)'
metadata:
  {
    "arxiv_id": "2608.30581v1",
    "utility": 1.0,
    "title": "Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle",
    "authors": "Dennis Gross, Helge Spieker",
    "url": "http://arxiv.org/abs/2608.30581v1"
  }
--

# Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle

**arXiv ID:** 2608.30581v1
**Authors:** Dennis Gross, Helge Spieker
**URL:** http://arxiv.org/abs/2608.30581v1
**Utility Score:** 1.00

## Summary

This skill was automatically generated from the arXiv paper titled "Automated Testing of LLM-Based Post Hoc Explainers Using Model Checking as an Oracle" (ID: 2608.30581v1).

## Usage

This skill can be used to reference the paper's concepts, methodologies, or findings in agent workflows.

## References

- arXiv: http://arxiv.org/abs/2608.30581v1