CS Events
Computer Science Department ColloquiumAI for mathematics |
|
||
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