At our latest YC Paper Club, researchers and builders presented on self-play for LLMs, AI for biology, formal verification, and agentic coding in production.
Thank you to our presenters:
00:00 — Francois Chaubard (@FrancoisChauba1) | Introduction & Call for Presentations
05:47 — Yasa Baig (@BaigYasa) | A World Model of Protein Biology (biohub.ai/esm/protein/about)
25:38 — Luke Bailey (@LukeBailey181) | Scaling Self-Play with Self-Guidance (arxiv.org/pdf/2604.20209)
37:51 — Arnab Maiti | Stream RAG: Instant and Accurate Spoken Dialogue Systems with Streaming Tool Usage (arxiv.org/pdf/2510.02044)
47:40 — Robert Joseph George (@Robertljg) | Lean and the New Era of Verified Intelligence (arxiv.org/abs/2602.22631)
58:52 — Lukens Orthwein (@lukensort) | Founder AI Hacks: Programming is an RTS Game Now
1:16:07 — Closing Remarks
Video