Darren Key

Genetic interactions between Pax9 and Msx1 regulate lip development and several stages of tooth morphogenesis.

Jennifer J. Lund, R. Kist, R. Maas, 2010, Developmental biology.

I Speak, You Verify: Toward Trustworthy Neural Program Synthesis

Kevin Ellis, Darren Key, Wen-Ding Li, 2022, ArXiv.

WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment

Darren Key, Hao Tang, Kevin Ellis, 2024, ArXiv.