I Speak, You Verify: Toward Trustworthy Neural Program Synthesis. - Darren Key; Wen-Ding Li; Kevin Ellis (CoRR, 2022)

WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment. - Hao Tang 008; Darren Key; Kevin Ellis (NeurIPS, 2024)

HLSTransform: Energy-Efficient Llama 2 Inference on FPGAs Via High Level Synthesis. - Andy He; Darren Key; Mason Bulling; Andrew Chang; Skyler Shapiro; Everett Lee (CoRR, 2024)