SyGuS-Comp 2017: Results and Analysis

2017-11-29 · Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama

Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula phi in a background theory T, and a syntactic constraint given by a grammar G, which specifies the allowed set of candidate implementations. Such a synthesis problem can be formally defined in SyGuS-IF, a language that is built on top of SMT-LIB. The Syntax-Guided Synthesis Competition (SyGuS-Comp) is an effort to facilitate, bring together and accelerate research and development of efficient solvers for SyGuS by providing a platform for evaluating different synthesis techniques on a comprehensive set of benchmarks. In this year's competition six new solvers competed on over 1500 benchmarks. This paper presents and analyses the results of SyGuS-Comp'17.

📄 PDF Abstract BibTeX arXiv:1711.11438

Code (0)

등록된 구현이 없습니다.

SyGuS-Comp 2016: Results and Analysis

2016-11-23 · Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama

Syntax-Guided Synthesis (SyGuS) is the computational problem of finding an implementation f that meets both a semantic constraint given by a logical formula $\varphi$ in a background theory T, and a syntactic constraint …

Overfitting in Synthesis: Theory and Practice (Extended Version)

2019-05-17 · Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma

In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatically generate a program belonging to a grammar of possible implementations that meets a logical specification. We investigate a common limitation ac…

Grammar Filtering For Syntax-Guided Synthesis

2020-02-07 · Kairo Morton, William Hallahan, Elven Shum, Ruzica Piskac 외

Programming-by-example (PBE) is a synthesis paradigm that allows users to generate functions by simply providing input-output examples. While a promising interaction paradigm, synthesis is still too slow for realtime int…

BIG-bench Machine Learning

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis

2023-07-13 · Julian Parsert, Elizabeth Polgreen

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 and a logical formula, and the resul…

Program Synthesis reinforcement-learning Reinforcement Learning

Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery

2026-07-01 · Yuan Si, Jialu Zhang arxiv

Programming-by-example systems infer programs from a small set of input-output examples. Robust PBE work usually models wrong examples as samples from a stochastic noise process and then minimizes an expected or empirica…

Adversarial Robustness