BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:From benchmark-centric to human-centric: deep learning methods in 
 the formalisation of mathematics - Albert Qiaochu Jiang (University of Cam
 bridge)
DTSTART:20230216T170000Z
DTEND:20230216T180000Z
UID:TALK193408@talks.cam.ac.uk
CONTACT:Angeliki Koutsoukou-Argyraki
DESCRIPTION:A flurry of deep learning for mathematics advances have been m
 ade in recent years. However\, disproportionally little adoption of deep l
 earning is seen in the practice of formal mathematics. I will argue agains
 t the benchmark-centric mindset prevalent in the deep learning community\,
  and present works that build on and enhance human experiences of formal m
 athematics.
LOCATION:  Centre for Mathematical Sciences MR12\, CMS
END:VEVENT
END:VCALENDAR