BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Alex Best (Harmonic)
DTSTART:20260123T133000Z
DTEND:20260123T140000Z
DTSTAMP:20260420T025016Z
UID:LT2026/39
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/39/">
 Aristotle\, an AI theorem prover using Lean</a>\nby Alex Best (Harmonic) a
 s part of Lean Together 2026\n\n\nAbstract\nI'll describe the principles u
 nderlying the development of Aristotle\, an AI theorem prover trained via 
 reinforcement learning on Lean proofs. I'll give a demo of how this can be
  accessed and show some examples of projects making heavy use of this tech
 nology\, in particular those using it for novel mathematical proofs and fo
 r library development.\n
LOCATION:https://researchseminars.org/talk/LT2026/39/
END:VEVENT
END:VCALENDAR