| 12:00 pm - 1:00 pm |
Linde Hall 255
The Logic of Random Graphs
|
|
| 2:00 pm - 3:00 pm |
East Bridge 114
Towards Large Language Models as Copilots for Formalization and Theorem Proving
|
|
