Self-Play for LLMs, AI for Biology, Formal Verification, and More | YC Paper Club — Francois Chaubard