Mathematics in AI
Marcus from Google Research shares insights on translating natural language mathematics into formal mathematics, enhancing theorem proving using long context models like the memorizing transformer, and collaborating with Christian Segdi. The episode delves into the intersection of mathematics and AI research, offering a glimpse into the future of mathematical understanding in machine learning.In this clip
From this podcast
Machine Learning Street Talk (MLST)
#91 - HATTIE ZHOU - Teaching Algorithmic Reasoning via In-context Learning #NeurIPS
Related Questions