Seminar Calendar
Tuesday, January 30, 2024
Tuesday, January 30th, 2024
2:00pm
–
3:00pm
Add to Cal
Mathematics & Machine Learning Seminar
Towards Large Language Models as Copilots for Formalization and Theorem Proving
Kaiyu Yang,
Computing and Mathematical Sciences,
Caltech,