LeanMarathon: Autonomous Formalization of Math Proofs on Erdős Problems
Embodied AI 101 · Shaoqing Tan
June 8, 202627m 22s
Audio is streamed directly from the publisher (media.transistor.fm) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.