Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: AlphaProof team on podcast
Yao Liu (Nov 18 2024 at 02:07):
In case this has not come up on your newsfeed, the AlphaProof team is on the recent episode of No Priors podcast https://www.youtube.com/watch?v=uX6ceY1vcUg
Last updated: May 02 2025 at 03:31 UTC