Re-pricing avalanches
Speaker: Jose A. Scheinkman (Columbia) Title: Re-pricing avalanches Abstract: Monthly aggregate price changes exhibit chronic fluctuations but the aggregate shocks that drive these fluctuations are often elusive. Macroeconomic models often add stochastic macro-level shocks such as […]
Universes as Big Data, or Machine-Learning Mathematical Structures
https://youtu.be/zj_Xc2QG-vw Speaker: Yang-Hui He, Oxford University, City University of London and Nankai University Title: Universes as Big Data, or Machine-Learning Mathematical Structures Abstract: We review how historically the problem of […]
Members’ Seminar
The CMSA Members’ Seminar will occur every Friday at 9:30am ET on Zoom. All CMSA postdocs/members are required to attend the weekly CMSA Members’ Seminars, as well as the weekly CMSA […]
Machine learning and su(3) structures on six manifolds
Speaker: 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 […]
AI and Theorem Proving
https://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
Speaker: 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 […]
Knowledge graph representation: From recent models towards a theoretical understanding
Speaker: Carl Allen and Ivana Balažević - University of Edinburgh School of Informatics Title: Knowledge graph representation: From recent models towards a theoretical understanding Abstract: Knowledge graphs (KGs), or knowledge bases, are […]
A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks
https://youtu.be/OoimTbnSe7I Speaker: Nikunj Saunshi, Dept. of Computer Science, Princeton University Title: A Mathematical Exploration of Why Language Models Help Solve Downstream Tasks Abstract: Autoregressive language models pretrained on large corpora […]
A Mathematical Language
Speaker: Thomas Hales, Univ. of Pittsburgh Dept. of Mathematics Title: A Mathematical Language Abstract: A controlled natural language for mathematics is an artificial language that is designed in an […]
Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models
https://youtu.be/EXpmbAfBNnw Speaker: Jason Rute, CIBO Technologies Title: Neural Theorem Proving in Lean using Proof Artifact Co-training and Language Models Abstract: Labeled data for imitation learning of theorem proving in large libraries […]