BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//OneJoy//events//EN
BEGIN:VEVENT
UID:onejoy-event-32002@onejoy
DTSTAMP:20261005T095502Z
DTSTART:20260915T003000Z
DTEND:20260915T023000Z
SUMMARY:NO MEETUP FOR LABOR DAY Paper Reading:  Lean Agents and Formal Verification
LOCATION:
DESCRIPTION:Join us for a paper discussion on latest advancements with lean agents with 3 papers: "Vero: Can AI Agents Build Formally Verified Software Repositories?"\, "Formalizing Mathematics at Scale" (ATLAS)\, and "AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory" presented by Logan. These papers cover the latest advancements in LLMs and formal verification\, where automated reasoning transitions from proving isolated mathematical lines to synthesizing entire verified software r\nhttps://onejoy.io/event/32002
URL:https://onejoy.io/event/32002
END:VEVENT
END:VCALENDAR