After a routine code rejection, an AI agent published a hit piece on someone by name

AI agents lack independent agency but can still seek multistep, extrapolated goals when prompted. Even if some of those prompts include AI-written text (which may become more of an issue in the ...
GitHub

A Step Towards Music Generation Foundation Model

We introduce ACE-Step, a novel open-source foundation model for music generation that overcomes key limitations of existing approaches and achieves state-of-the-art performance through a holistic ...
GitHub

Type-Constrained Code Generation with Language Models

This is an implementation of a completion engine that parses type safe programs incrementally, guaranteeing that intermediate outputs can be completed to type-safe programs. The completion enginge can ...
IEEE

HaVen: Hallucination-Mitigated LLM for Verilog Code Generation Aligned with HDL Engineers

Abstract: Recently, the use of large language models (LLMs) for Verilog code generation has attracted great research interest to enable hardware design automation. However, previous works have shown a ...
IEEE

SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation

Abstract: The Satisfiability (SAT) problem is a core challenge with significant applications in software engineering, including automated testing, configuration management, and program verification.