Committing to explicit meaning via a domain-grounded vocabulary of individuals, actions, facts, and concepts improves software usability, enables modular LLM code generation, and supports accountable agent behavior.
AI for software engineering: from probable to provable
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
Vibe coding, the much-touted use of AI techniques for programming, faces two overwhelming obstacles: the difficulty of specifying goals ("prompt engineering" is a form of requirements engineering, one of the toughest disciplines of software engineering); and the hallucination phenomenon. Programs are only useful if they are correct or very close to correct. The solution? Combine the creativity of artificial intelligence with the rigor of formal specification methods and the power of formal program verification, supported by modern proof tools.
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Making Software Meaningful
Committing to explicit meaning via a domain-grounded vocabulary of individuals, actions, facts, and concepts improves software usability, enables modular LLM code generation, and supports accountable agent behavior.