Talks

Speaker: Professor Keenan Crane (Carnegie Mellon) Title: "Compressed Shape Representations for Geometric Computing & Learning" Video: Click to view video here Abstract:  Digital encodings of shape have major implications for the way we acquire, transmit, analyze, and learn information about the natural world.  This talk explores how encodings of shape via integer normal coordinates, little-known […]

Speaker: Professor Angela Dai (Technical University of Munich) Title: Building 3D Worlds from Imperfect Data Video: Click here to view a video recording Abstract: Our observations of the world are always incomplete. Images and range sensors capture only fragments of real environments, leaving significant portions of scenes unobserved. At the same time, many applications, ranging […]

Speaker: Professor Tengyu Ma (Stanford) Title: Self-play Algorithms for Math Theorem Proving Video: Click here to view Abstract:  I will discuss RL algorithms for automated theorem proving with LLMs, especially in the possible future regime where we run out of high-quality training data. To keep improving the models with limited data, we draw inspiration from […]