SkillGuard extracts executable environment contracts from LLM skill documents to detect only relevant drifts, reporting zero false positives on 599 cases, 100% precision in known-drift tests, and raising one-round repair success from 10% to 78%.
The daikon system for dynamic detection of likely invariants.Science of computer programming, 69(1-3):35–45
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2years
2026 2representative citing papers
LLMs can generate natural language specs and perform compositional verification to help prevent vulnerable code from being produced by AI models.
citing papers explorer
-
Skill Drift Is Contract Violation: Proactive Maintenance for LLM Agent Skill Libraries
SkillGuard extracts executable environment contracts from LLM skill documents to detect only relevant drifts, reporting zero false positives on 599 cases, 100% precision in known-drift tests, and raising one-round repair success from 10% to 78%.
-
Natural Language based Specification and Verification
LLMs can generate natural language specs and perform compositional verification to help prevent vulnerable code from being produced by AI models.