Featured in
Toronto
LLM-enabled formal software verification
Registration
Approval Required
Your registration is subject to host approval.
About Event
On October 22, Anthopic and Theorem published LLMs are making formal software verification feasible at a much larger scale. This represents the first large-scale effort to use AI to apply formal verification to production software at the assembly code level.
Giles Edkins, software engineer at Epoch AI, will talk about what this result mean, and what it implies about software that we rely on today.
Doors open at 6:00 PM and the talk starts at 6:45 PM. Come early to grab a seat and say hi! Because of building security, someone from our team has to let each guest in, and once the talk begins we often can’t be at the door. If you’re running late, text 416-998-7465 and we’ll do our best to come down, but we can’t promise entry after 6:45 PM.