Dataset · Hugging Face

iainzhang/SkillSpec

Name: SkillSpec
Creator: iainzhang
License: other
Keywords: task_categories:text-classification, annotations_creators:expert-generated, source_datasets:extended, license:other, size_categories:1K<n<10K, format:parquet, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, arxiv:2609.06052, region:us, software-engineering, program-analysis

SkillSpec Defect Dataset Intent-Masked Specification Reasoning for Agent Skill Correctness SkillSpec formulates agent skill correctness as a Hoare-style specification reasoning problem. 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 The evaluation corpus contains 515 real-world agent… See the full description on the dataset page: https://huggingface.co/datasets/iainzhang/SkillSpec.

View on Hugging FaceReport an issue

Author / organization	iainzhang
License (as declared)	other
Downloads	188 (as reported by Hugging Face)
Likes	2
Created	12 September 2026
Last updated at source	22 September 2026

software-engineeringprogram-analysisagent-skillsdefect

Embed this entry

<iframe src="https://silytics.si/embed/item/8663e559-3803-4aa5-ac8a-2c301bf99607" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.