Emilie Ma
Researcher at the University of British Columbia. Previously at OpenAI, Stripe, and the University of Cambridge, working on distributed systems infrastructure and security. More at https://emilie.ma.
Company/Organisation:
University of British Columbia
Session
06-09
16:00
40min
Correctness Too Cheap To Meter: Formal Verification and LLMs
Emilie Ma
Formal methods are powerful tools to verify software systems' correctness and reliability. However, manually writing system specs is time-consuming and hard to maintain. LLMs can help with this burden.
We'll share new research into tools to automate formal methods workflows and learnings from how LLMs currently perform.
Kesselhaus