events

LLM-enabled formal software verification

Trajectory Labs hosts an evening talk by Giles Edkins, a software engineer at Epoch AI, on LLM-enabled formal software verification. Edkins discusses a recent result in which LLMs make formal verification feasible at a larger scale and what

Starts

2026-11-03T23:00:00+00:00

Ends

2026-11-04T02:00:00+00:00

Organizer

Trajectory Labs

Location

Toronto, Canada

Trajectory Labs hosts an evening talk by Giles Edkins, a software engineer at Epoch AI, on LLM-enabled formal software verification. Edkins discusses a recent result in which LLMs make formal verification feasible at a larger scale and what it implies for production software verified at the assembly-code level and for software relied on today. The talk is aimed at people interested in AI and software correctness. Doors open at 6:00 PM; the talk begins at 6:45 PM, and building security means late entry is not guaranteed.