LLMs can generate natural language specs and perform compositional verification to help prevent vulnerable code from being produced by AI models.
Enchanting program specification synthesis by large language models using static analysis and program verification
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
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.