AI for software engineering: from probable to provable
arXiv:2511.23159v2 Announce Type: replace-cross
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 engineeri…