Verifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2502.07728/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTVerifying LLM-Generated Code in the Context of Software Verification with Ada/SPARK — mentioned by ajdudehttps://news.ycombinator.com/item?id=45112320urn:hackerpapers:mention:2502.07728:45112320Wed, 03 Sep 2025 04:44:19 GMT<p>There was a pretty good article a while ago on how using verified SPARK (a subset of Ada) could help with llm generated output https://arxiv.org/html/2502.07728v1</p><p><a href="https://hackerpaper.kaipfister.de/p/2502.07728/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.SE