3 ms·
Her keynote at last year's https://www.louie.ai/gen-ai-graph-the-planet/ https://www.louie.ai/gen-ai-graph-the-planet/ explicitly ended on this Basically the w
by lmeyerov 2y ago
Her keynote at last year's https://www.louie.ai/gen-ai-graph-the-planet/ https://www.louie.ai/gen-ai-graph-the-planet/ explicitly ended on this
Basically the way forward she'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's various projects.
Interestingly, hints of LLMs-for-automating-proofs are in her older papers, e.g., https://arxiv.org/pdf/1806.00608 https://arxiv.org/pdf/1806.00608 . Even Terance Tao is leaning in here now: https://www.youtube.com/watch?v=AayZuuDDKP0 https://www.youtube.com/watch?v=AayZuuDDKP0