Algorithm Generation and Funsearch

Abstract

In my work in helping organize the SL Math Summer School for graduate students on Principled Scientific Discovery with Formal Methods, I gave a lecture and tutorial series on algorithm generation, Funsearch - a DeepMind framework for genetically evolving LLM-sampled algorithms, as well as an implementation of this algorithm from our 2025 Paper on Generative Modeling for Mathematical Discovery.

Date
Jul 14, 2025 11:00 AM — 5:00 PM
Event
SL Math Summer School - Principled Scientific Discovery with Formal Methods at IBM T. J. Watson Research Center, Yorktown Heights, NY
Location
Yorktown Heights, New York

You can find the slides for my lecture here and the slides for my tutorial here .

Karan Srivastava
Karan Srivastava
PhD Student, Mathematics

My research interests include machine learning, reinforcement learning, combinatorics, and algebraic geometry