Workshop Welcome

Keynote 1. Sergei Gukov (Caltech & Dublin Inst. Adv. Studies). Machine Learning for Mathematics Research

Coffee Break (Poster session)

Fundamental Research in Machine Learning Methods for Proof Generation: Structures, Representations, Abstractions, Algorithms

Lunch with GAIL, the Generative AI Lab

Using Large Language Models for Proof Translation

Keynote 2. Swarat Chaudhuri (UT Austin and Google Deepmind). Formal Mathematical Reasoning: A New Frontier for Large Language Models

Coffee Break (Poster session)

Using Large Language Models in Software Verification

Introduction by a Sponsor: Kodamai: https://www.kodamai.com/

Ethical and Philosophical Issues; AI Creativity

Workshop Dinner at the Surgeons's Hall, Edinburgh City Centre