Darren Yan Key

Joined

September 2022

Names

Darren Yan Key (Preferred)

Emails

****@cornell.edu (Confirmed)

Personal Links

Career & Education History

Undergrad student

Cornell University (cornell.edu)

2021 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Toward Trustworthy Neural Program Synthesis
Wen-Ding Li, Darren Yan Key, Kevin Ellis
- QUESTION Poster
- Readers: Everyone
Toward Trustworthy Neural Program Synthesis
Wen-Ding Li, Darren Yan Key, Kevin Ellis
- ICLR 2025 Workshop VerifAI Poster
- Readers: Everyone
Toward Trustworthy Neural Program Synthesis
Wen-Ding Li, Darren Yan Key, Kevin Ellis
- ICLR 2025 FM-Wild Workshop
- Readers: Everyone
Toward Trustworthy Neural Program Synthesis
Wen-Ding Li, Darren Yan Key, Kevin Ellis
- ICLR-25 HAIC Workshop SpotlightCandidate
- Readers: Everyone
Toward Trustworthy Neural Program Synthesis
Wen-Ding Li, Darren Yan Key, Kevin Ellis
- DL4C @ ICLR 2025
- Readers: Everyone
HLSTransform: Energy-Efficient Llama 2 Inference on FPGAs Via High Level Synthesis
Darren Yan Key, Andy He, Mason Bulling, Andrew Chang, Skyler Shapiro, Everett Lee
- ES-FoMo-II 2024 Poster
- Readers: Everyone
WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment
Hao Tang, Darren Yan Key, Kevin Ellis
- NeurIPS 2024 poster
- Readers: Everyone

Co-Authors