Printable PDF
Department of Mathematics,
Department of Mathematics,
University of California San Diego
****************************
Advancement to Candidacy
Chenyang An
Towards enabling AI for math: how to increase the reasoning power of large language models in theorem proving
February 21, 2025
2:00 PM
APM 6402
****************************
