Machine learning and su(3) structures on six manifolds
VirtualSpeaker: James Gray - Virginia Tech Title: Machine learning and su(3) structures on six manifolds Abstract: In this talk we will discuss the application of Machine Learning techniques to obtain numerical […]
The Inside View: Raymarching and the Thurston Geometries
On Wednesday, December 16 at 12:00 p.m. EST, WAM and CMSA will host a holiday seminar featuring Sabetta Matsumoto, Georgia Institute of Technology who will present The Inside View: Raymarching and the […]
A universal triangulation for flat tori
VirtualSpeaker:Francis Lazarus, CNRS / Grenoble University Title: A universal triangulation for flat tori Abstract: A celebrated theorem of Nash completed by Kuiper implies that every smooth Riemannian surface has a […]
CMSA Math-Science Literature Lecture: Quantum topology and new types of modularity
VirtualDon Zagier (Max Planck Institute for Mathematics and International Centre for Theoretical Physics) Title: Quantum topology and new types of modularity Abstract: The talk concerns two fundamental themes of modern […]
AI and Theorem Proving
Virtualhttps://youtu.be/UnYrWuOzOlc Speaker: Josef Urban, Czech Technical University Title: AI and Theorem Proving Abstract: The talk will discuss the main approaches that combine machine learning with automated theorem proving and automated […]
Language Modeling for Mathematical Reasoning
VirtualSpeaker: Christian Szegedy Title: Language Modeling for Mathematical Reasoning Abstract: In this talk, I will summarize the current state of the art of transformer based language models and give examples on […]