BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Carlos Simpson
DTSTART:20260312T130000Z
DTEND:20260312T143000Z
DTSTAMP:20260423T005725Z
UID:bM2L/11
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/bM2L/11/">Re
 inforcement learning for proofs</a>\nby Carlos Simpson as part of Barcelon
 a Mathematics and Machine Learning Colloquium Series\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/bM2L/11/
END:VEVENT
END:VCALENDAR