Recently, machine learning (ML) methods have been used to create powerful language
models for a broad range of natural language processing tasks. An important subset of this …

Abstract Pre-trained Large Language Models (LLMs) are beginning to dominate the
discourse around automatic code generation with natural language specifications. In …

Program synthesis is the task of automatically generating code based on a specification. In
Syntax-Guided Synthesis (SyGuS) this specification is a combination of a syntactic template …

In recent years, the need for writing effective, reusable, and high-quality source code has
grown exponentially. Writing source code is an integral part of building any software system; …

In this paper, we propose a novel application of syntax-guided synthesis to find symbolic
representations of a model's decision-making process, designed for easy comprehension …

Program synthesis is the task of automatically generating code based on a specification. In
Syntax-Guided Synthesis (SyGuS) this specification is a combination of a syntactic template …

The field of formal methods relies on a large body of background knowledge that can
dissuade researchers from engaging with younger students, such as undergraduates or …

The synthesis problem asks whether there exists an implementation for a given formal
specification and derives such an implementation if it exists. This approach enables …

Syntax-guided synthesis is a paradigm in program synthesis in which the search space of
candidate solutions is constrained by a syntactic template in the form of a grammar. These …

Function synthesis is the process of automatically constructing functions that satisfy a given
specification. The space of functions as well as the format of the specifications vary greatly …