![](https://cust-images.grenadine.co/imgproxy/fill/256/256/sm/1/aHR0cHM6Ly9zMy5hbWF6b25hd3MuY29tL3B1YmxpYy5ncmVuYWRpbmUuY28vZ2xvYmFsLzQ0My83ODcvMTExMTRjNTBjMzIwYWQxYTI2OGFmYTlmNWRkYzk0OTQuanBn.jpg)
Kaiyu Yang is a Computing, Data, and Society Postdoctoral Fellow at Caltech. His research aims to build AI that can understand and reason about mathematics. To that end, he has focused on using machine learning, especially large language models, to prove theorems in formal environments such as Coq and Lean. He has received the Siebel Scholar award. Before joining Caltech, he received a Ph.D. in computer science from Princeton University and bachelor's degrees in computer science and mathematics from Tsinghua University.
Talk
Towards an AI Mathematician | June 7
Sessions auxquelles Kaiyu Yang participe
Vendredi 7 Juin, 2024
Fuseau horaire: (GMT-05:00) Eastern Time (US & Canada)
Jour 5
9:00 AM EDT -
5:00 PM EDT |
8 heures
Towards an AI Mathematician
11:00 AM EDT -
12:30 PM EDT |
1 heure 30 minutes