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