CS Events

Computer Science Department Colloquium

AI for mathematics

 

Download as iCal file

Thursday, February 09, 2023, 02:00pm - 03:15pm

 

Speaker: Christian Szegedy

Bio

PhD In Mathematics, University of Bonn Worked as a research scientist at Cadence Research Laboratories in Berkeley: design automation of digital circuits, physical design and logic synthesis. Christian is a researcher at Google working on machine learning, AI and computer vision via deep learning.

Location : Fiber Optics Material Research Building EHA

Event Type: Computer Science Department Colloquium

Abstract: We give an introduction to recent advances in automating mathematics through automated formalization ("autoformalization") and proof-search using deep learning, specifically transformer-based large language models. Autoformalization is the process of automatically transcribing human-written mathematical texts into computer-verifiable proofs. While most natural language mathematics looks fairly formal to the untrained eye, it can take a great deal of human effort to fully formalize mathematical text using "interactive theorem provers". Recent advances in deep-learning-based language modeling and neural-augmented proof search offer a promising path towards autoformalization and human-level mathematical AI. We present recent advances in this area as well as the challenges ahead.

Organization

Google.

Contact  Mario Szegedy