BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Josef Urban (Czech Institute of of Informatics\, Robotics and Cybe
 rnetics (CIIRC))
DTSTART:20220331T160000Z
DTEND:20220331T170000Z
DTSTAMP:20260423T003254Z
UID:MPML/68
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/MPML/68/">Ma
 chine Learning and Theorem Proving</a>\nby Josef Urban (Czech Institute of
  of Informatics\, Robotics and Cybernetics (CIIRC)) as part of Mathematics
 \, Physics and Machine Learning (IST\, Lisbon)\n\n\nAbstract\nThe talk wil
 l describe several ways in which machine learning is combined with theorem
  proving today over large corpora of formal proof. If time permits\, I wil
 l also show some demos of the systems and mention related topics such as M
 L-guided conjecturing and autoformalization.\n
LOCATION:https://researchseminars.org/talk/MPML/68/
END:VEVENT
END:VCALENDAR