Hack RadarLLM-enabled formal software verification
- in-person
- free
anthropic and theorem just showed that LLMs can do formal verification on production assembly code at scale. giles edkins (epoch ai) is breaking down what that means for the software we actually run. free, doors at 6pm tuesday, but text ahead if you're late because building security is strict.
the full listing
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.
source: Luma