Name: AlphaProof: when reinforcement learning meets formal mathematics
Start: 2025-03-27T10:00:00-05:00
End: 2025-03-27T11:00:00-05:00
Location: Virtual

List
Month
Day

Ongoing

featured_Classical quantum probabalistic 2

March 24, 2025 @ 9:00 am - May 24, 2025 @ 5:00 pm

Program on Classical, quantum, and probabilistic integrable systems – novel interactions and applications

CMSA 20 Garden Street Cambridge, Massachusetts 02138 United States

10:00 am

CMSA Mathematical Physics and Algebraic Geometry 3.27.2025

March 27, 2025 @ 10:00 am - 11:00 am Mathematical Physics and Algebraic Geometry Seminar

From quantum difference equations to Maulik-Okounkov quantum affine algebra

Virtual

March 27, 2025 @ 10:00 am - 11:00 am

AlphaProof: when reinforcement learning meets formal mathematics

Virtual

Freedman Seminar: Michael Freedman, CMSA & Slava Krushkal, University of Virginia

10:00 am