Large Language Models (LLMs) have significantly impacted numerous domains, notably
including Software Engineering (SE). Nevertheless, a well-rounded understanding of the …

Quantum computing sits at an important inflection point. For years, high-level algorithms for
quantum computers have shown considerable promise, and recent advances in quantum …

Fundamental algorithms such as sorting or hashing are used trillions of times on any given
day. As demand for computation grows, it has become critical for these algorithms to be as …

Recent advances in Large Language Models (LLM) have made automatic code generation
possible for real-world programming tasks in general-purpose programming languages …

Abstract cvc5 is the latest SMT solver in the cooperating validity checker series and builds
on the successful code base of CVC4. This paper serves as a comprehensive system …

Automatic program synthesis is a long-lasting dream in software engineering. Recently, a
promising Deep Learning (DL) based solution, called Copilot, has been proposed by …

This paper explores the limits of the current generation of large language models for
program synthesis in general purpose programming languages. We evaluate a collection of …

Large language models have demonstrated the ability to generate both natural language
and programming language text. Although contemporary code generation models are …

Recent work has considered whether large language models (LLMs) can function as
planners: given a task, generate a plan. We investigate whether LLMs can serve as …

Many automated test generation techniques have been developed to aid developers with
writing tests. To facilitate full automation, most existing techniques aim to either increase …