BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Coco Xiaoyu Huang (Temple University)
DTSTART:20260331T170000Z
DTEND:20260331T180000Z
DTSTAMP:20260423T021218Z
UID:vantage/124
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/vantage/124/
 ">From sparse search to explicit algorithm extraction: Machine learning fo
 r constructive mathematics</a>\nby Coco Xiaoyu Huang (Temple University) a
 s part of VaNTAGe\n\nAbstract: TBA\n
LOCATION:https://researchseminars.org/talk/vantage/124/
END:VEVENT
END:VCALENDAR