LLM-enabled formal software verification

Name: LLM-enabled formal software verification
Start: 2026-11-03T23:00:00.000Z
End: 2026-11-04T02:00:00.000Z
Location: Toronto

Where: Not stated
Host: Trajectory Labs
Entry: Free
Sign-up: Apply, the host picks

Apply on Luma

All Toronto events

You sign up with the host. foundercal only links to it.

Who you meetThe people on the listing, and what the host tells us about the room.

Giles Edkins Speaker
Jasmine Ren Host

Investors Not stated The listing does not say

The format Talks, then talking Meetup

Sign-up Apply, the host picks Free

AboutIn the host's words.

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.

Full text on Luma .