skip to main content
Caltech
Department of Mathematics Division of Physics, Mathematics and Astronomy
Home  /  Events  /  Seminar Calendar

Seminar Calendar

Previous

Tuesday, January 30, 2024

Next
Tuesday, January 30th, 2024
12:00pm – 1:00pm
Add to Cal

Math Graduate Student Seminar

Linde Hall 255
The Logic of Random Graphs
Tal Hershko, Department of Mathematics, Caltech,
2:00pm – 3:00pm
Add to Cal

Mathematics & Machine Learning Seminar

East Bridge 114
Towards Large Language Models as Copilots for Formalization and Theorem Proving
Kaiyu Yang, Computing and Mathematical Sciences, Caltech,