https://hackerpaper.kaipfister.de/p/1806.00608/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=42428246urn:hackerpapers:mention:1806.00608:42428246Mon, 16 Dec 2024 05:38:45 GMT<p>Her keynote at last year&#x27;s https://www.louie.ai/gen-ai-graph-the-planet/ explicitly ended on this Basically the way forward she&#x27;s most excited about wrt AI x Security as a way avoid devolving into AIs fighting AIs at runtime by instead moving to enfusing authoring time with formal methods. I think her references were to earlier verified C compiler extension frameworks such as by George Necula&#x27;s various projects. Interestingly, hints of LLMs-for-automating-proofs are in her older papers, e.g., https://arxiv.org/pdf/1806.00608 . Even Terance Tao is leaning in here now…</p><p><a href="https://hackerpaper.kaipfister.de/p/1806.00608/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LG