BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Searching in language space to find constructions in mathematics -
  Adam Zsolt Wagner (Google DeepMind)
DTSTART:20260401T110000Z
DTEND:20260401T113000Z
UID:TALK245743@talks.cam.ac.uk
DESCRIPTION:In mathematics\, the focus is often on finding interesting con
 structions for various mathematical problems. I will discuss how tools tha
 t "search in language space" can significantly reduce the amount of effort
  mathematicians need to invest to test their ideas and find good construct
 ions for various problems. We will briefly look at different ways we can t
 hink about this search\, look at a few examples\, and figure out which of 
 these setups is right for the problems you care about.&nbsp\;
LOCATION:Seminar Room 1\, Newton Institute
END:VEVENT
END:VCALENDAR