Table · dataset · 2026
SkillSpec Defect Dataset
Listed in Hugging Face Datasets
SkillSpec Defect Dataset Intent-Masked Specification Reasoning for Agent Skill Correctness SkillSpec formulates agent skill correctness as a Hoare-style specification reasoning problem.
Description
It checks whether a skill's encoded behavior fulfills its declared intent in reachable, in-scope scenarios, considering generalization across its intended tasks. 📄 Paper | 🌐 HTML Dataset
Summary
Read the rest (1 more)
The evaluation corpus contains 515 real-world agent… See the full description on the dataset page: huggingface.co/datasets/iainzhang/SkillSpec.
Links
Where it is published
- Hugging Face dataset page huggingface.co/datasets/iainzhang/SkillSpec ↗
landing page · from Hugging Face
Documentation and papers
- arXiv:2609.06052 arxiv.org/abs/2609.06052 ↗
publication · from Hugging Face
Catalogue records · 1
- Hub API huggingface.co/api/datasets/iainzhang/SkillSpec ↗
metadata API · from Hugging Face
Topics
- Stated by source
- text · text classification
- From keywords
- Computer Science & AI
Provenance · 1 source records, 10 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| Hugging Face Datasets | iainzhang/SkillSpec | 15 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · Hugging Face | connector:huggingface@1.0.0 | /gated |
| concepts[field].local:field:computer-science-ai | mapping · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[modality].hf_modality:text | source · Hugging Face | connector:huggingface@1.0.0 | |
| concepts[task].hf_task:text-classification | source · Hugging Face | connector:huggingface@1.0.0 | /tags[task_categories:*] |
| created_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| description | source · Hugging Face | connector:huggingface@1.0.0 | /description |
| license_text | source · Hugging Face | connector:huggingface@1.0.0 | |
| publication_date | source · Hugging Face | connector:huggingface@1.0.0 | |
| title | source · Hugging Face | connector:huggingface@1.0.0 | /id |
| updated_date | source · Hugging Face | connector:huggingface@1.0.0 |