Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
IEEE

Multi-Agent hierarchical workflow for autonomous code generation with Large Language Models

Abstract: This paper presents a multi-agent hierarchical workflow tailored for automating data analysis, code generation, and visualization, focusing specifically on user-provided CSV datasets. The ...
Microsoft

AutoVerus: Automated Proof Generation for Rust Code

Generative AI has shown its values for many software engineering tasks. Still in its infancy, large language model (LLM)-based proof generation lags behind LLM-based code generation. In this paper, we ...
The New York Times

Is Gen X Actually the Greatest Generation?

How one era changed everything about the culture — and why we’re so nostalgic for its creations. Gen X How one era changed everything about the culture — and why we’re so nostalgic for its creations.
cmu.edu

AI Materials Design: Enabling the Next Generation of US Energy Infrastructure

AI is poised to revolutionize the way new materials are discovered and deployed, a shift that has the potential to speed up the development of novel materials necessary for the future U.S. energy ...
IEEE

Augmenting Code Sequencing with Retrieval-Augmented Generation (RAG) for Context-Aware Code Synthesis

Abstract: The growing demand for efficient code generation has driven research into improving Large Language Models (LLMs). This project presents a novel system designed to enhance code generation by ...