Events Search and Views Navigation

Event Views Navigation

Today

CMSA NTM Seminar 10.11.2023

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

https://youtu.be/u-pkmdkQoMU New Technologies in Mathematics Seminar Speaker: Alex Gu, MIT Dept. of EE&CS Title: LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Abstract: Large language models (LLMs) have shown promise in proving formal […]

CMSA QMMP 10.11.23

Non-invertible symmetries, leptons, quarks, and why multiple generations

CMSA Room G10 CMSA, 20 Garden Street, Cambridge

Quantum Matter Seminar Speaker: Seth Koren (Notre Dame) Title: Non-invertible symmetries, leptons, quarks, and why multiple generations Abstract: Generalized global symmetries are present in theories of particle physics, and understanding their […]