11 citations · 21 across the 21 of their papers we have counts for
6 papers · 1 filter
Using a Feedback Loop for LLM-based Infrastructure as Code Generation
Mayur Amarnath Palavalli, Mark Santolucito
Code generation with Large Language Models (LLMs) has helped to increase software developer productivity in coding tasks, but has yet to have significant impact on the tasks of sof…
Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
William Murphy, Nikolaus Holzer, Feitong Qiao +4
In the past few years, Large Language Models (LLMs) have exploded in usefulness and popularity for code generation tasks. However, LLMs still struggle with accuracy and are unsuita…
Benchmarking LLM Code Generation for Audio Programming with Visual Dataflow Languages
William Zhang, Maria Leon, Ryan Xu +10
Node-based programming languages are increasingly popular in media arts coding domains. These languages are designed to be accessible to users with limited coding experience, allow…
Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
William Murphy, Nikolaus Holzer, Nathan Koenig +4
Temporal logics are powerful tools that are widely used for the synthesis and verification of reactive systems. The recent progress on Large Language Models (LLMs) has the potentia…
Statically Inferring Usage Bounds for Infrastructure as Code
Feitong Qiao, Aryana Mohammadi, Jürgen Cito +1
Infrastructure as Code (IaC) has enabled cloud customers to have more agility in creating and modifying complex deployments of cloud-provisioned resources. By writing a configurati…
Procedural Adherence and Interpretability Through Neuro-Symbolic Generative Agents
Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito
The surge in popularity of large language models (LLMs) has opened doors for new approaches to the creation of interactive agents. However, managing and interpreting the temporal b…