ML p(r)ior | Results and Analysis of SyGuS-Comp'15

Results and Analysis of SyGuS-Comp'15

2016-02-03
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 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 we added two specialized tracks: a track for conditional linear arithmetic, where the grammar need not be specified and is implicitly assumed to be that of the LIA logic of SMT-LIB, and a track for invariant synthesis problems, with special constructs conforming to the structure of an invariant synthesis problem. This paper presents and analyzes the results of SyGuS-comp'15.
PDF

Highlights - Most important sentences from the article

Login to like/save this paper, take notes and configure your recommendations

Related Articles

2014-10-17

This paper describes Convex, a convex optimization modeling framework in Julia. Convex translates pr… show more
PDF

Highlights - Most important sentences from the article

2017-11-09

Program synthesis is a class of regression problems where one seeks a solution, in the form of a sou… show more
PDF

Highlights - Most important sentences from the article

2018-11-26
1811.10665 | cs.AI

Inductive program synthesis, from input/output examples, can provide an opportunity to automatically… show more
PDF

Highlights - Most important sentences from the article

2019-04-19

Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic pr… show more
PDF

Highlights - Most important sentences from the article

2019-04-05

This paper presents Automatic Algorithm Discoverer (AAD), an evolutionary framework for synthesizing… show more
PDF

Highlights - Most important sentences from the article

2019-02-12

We present a sound and complete method to generate inductive invariants consisting of polynomial ine… show more
PDF

Highlights - Most important sentences from the article

2019-04-15

We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchma… show more
PDF

Highlights - Most important sentences from the article

2019-04-12

Syntax-guided synthesis (SyGuS) is the computational problem of finding an implementation $f$ that m… show more
PDF

Highlights - Most important sentences from the article

2018-09-03

This paper presents results from the development and evaluation of a deductive verification benchmar… show more
PDF

Highlights - Most important sentences from the article

2018-07-29

We present an exact synthesis approach for computing Exclusive-or Sum-of-Products (ESOP) forms with … show more
PDF

Highlights - Most important sentences from the article

2019-02-27

Evolutionary algorithms have been widely applied for solving dynamic constrained optimization proble… show more
PDF

Highlights - Most important sentences from the article

2018-06-12
1806.04563 | cs.NE

Benchmarking plays an important role in the development of novel search algorithms as well as for th… show more
PDF

Highlights - Most important sentences from the article

2018-10-02
1810.02196 | cs.AI

Many optimization problems admit a number of local optima, among which there is the global optimum. … show more
PDF

Highlights - Most important sentences from the article

2018-11-07

The design and implementation of decision procedures for checking path feasibility in string-manipul… show more
PDF

Highlights - Most important sentences from the article

2017-09-13

We describe a modular rewriting system for translating optimization problems written in a domain-spe… show more
PDF

Highlights - Most important sentences from the article

2018-12-13

Network Function Virtualization (NFV) and Software Defined Networking (SDN) are technologies that re… show more