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 .
PhD Student, Mathematics
My research interests include machine learning, reinforcement learning, combinatorics, and algebraic geometry