正文 Markdown
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/ab…) 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