5 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.AR2024★ 1 cited
HLSTransform: Energy-Efficient Llama 2 Inference on FPGAs Via High Level Synthesis
Andy He, Darren Key, Mason Bulling +3
Graphics Processing Units (GPUs) have become the leading hardware accelerator for deep learning applications and are used widely in training and inference of transformers; transfor…
cs.AI2024★ 3 cited
WorldCoder, a Model-Based LLM Agent: Building World Models by Writing Code and Interacting with the Environment
Hao Tang, Darren Key, Kevin Ellis
We give a model-based agent that builds a Python program representing its knowledge of the world based on its interactions with the environment. The world model tries to explain it…
cs.SE2022★ 5 cited
Toward Trustworthy Neural Program Synthesis
Darren Key, Wen-Ding Li, Kevin Ellis
We develop an approach to estimate the probability that a program sampled from a large language model is correct. Given a natural language description of a programming problem, our…