University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers > From benchmark-centric to human-centric: deep learning methods in the formalisation of mathematics

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

From benchmark-centric to human-centric: deep learning methods in the formalisation of mathematics

Download to your calendar using vCal

If you have a question about this talk, please contact Angeliki Koutsoukou-Argyraki .

A flurry of deep learning for mathematics advances have been made in recent years. However, disproportionally little adoption of deep learning is seen in the practice of formal mathematics. I will argue against the benchmark-centric mindset prevalent in the deep learning community, and present works that build on and enhance human experiences of formal mathematics.

This talk is part of the Formalisation of mathematics with interactive theorem provers series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Bateman Room, Gonville & Caius College **Sackler Lecture Theare, Institute of Astronomy** Large Seminar Room, Institute of Public Health

Other talks

TBC A Data-Centric Approach to AI Adaptation and Alignment Group Work Quantum optics with organic molecules Title TBC Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity