LLM-enabled formal software verification
Tech & Startups
In person
Tuesday 3 November 2026, 23:00 – 4 Nov, 02:00 · Toronto, Canada
Details
- Starts
- Tue 3 Nov 2026, 23:00
- Ends
- Wed 4 Nov 2026, 02:00
- Type
- In person
- Category
- Tech & Startups
- City
- Toronto
- Country
- Canada
About this 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…
Hosted by Jasmine Ren
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…
Hosted by Jasmine Ren
Links and contact
- Website
- https://luma.com/trajec-gvn2
- Registration
- https://luma.com/trajec-gvn2
Source
- Imported from
- Luma
- Source city
- Toronto
- Original event
- Open source event https://luma.com/trajec-gvn2
