BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//OneJoy//events//EN
BEGIN:VEVENT
UID:onejoy-event-78993@onejoy
DTSTAMP:20261021T214144Z
DTSTART:20261022T003000Z
DTEND:20261022T023000Z
SUMMARY:Beyond Vibe Coding: Formal Verification for AI-Generated Software
LOCATION:
DESCRIPTION:AI coding agents can now write substantial amounts of open-source software\, but generated code still needs more than a plausible implementation and a passing test suite.\n\nIn this session\, Carl will demonstrate a workflow in which AI writes code\, creates a formal specification\, and produces a machine-checked proof of correctness. He is applying this approach to RangeSetBlaze\, an open-source Rust library\, using Lean to state and prove key correctness properties.\n\nThe broader idea is language-indep\nhttps://onejoy.io/event/78993
URL:https://onejoy.io/event/78993
END:VEVENT
END:VCALENDAR