Current browse context:
cs.PL
Change to browse by:
References & Citations
Computer Science > Programming Languages
Title: Comparative Synthesis: Learning Optimal Programs with Indeterminate Objectives
(Submitted on 25 May 2021 (this version), latest version 2 Jul 2022 (v3))
Abstract: Quantitative program synthesis aims to generate a program that satisfies not only boolean specifications but also quantitative objectives. Nonetheless, obtaining precise quantitative objectives per se can be a challenging task. In this paper, we propose comparative synthesis, a bootstrapping quantitative synthesis framework in which an indeterminate objective and a satisfying program are synthesized in tandem. The key idea is to make comparative queries to learn the user's preference over candidate programs, with which objectives can be conjectured. These objectives, which are indeterminate as they can be refined along the course of user interaction, guide the search of satisfying programs.
Within the comparative synthesis framework, we developed two novel comparative synthesis procedures (CLPs) with the aim of minimizing the number of queries to the user. We prove that both CLPs converge and use them in two case studies: generating bandwidth allocations for network design and solving SyGuS benchmarks with syntactic objectives. Experiments show that our framework can successfully synthesize satisfying/optimal solutions by making queries only, without a priori knowledge about the quantitative objective.
Submission history
From: Yanjun Wang [view email][v1] Tue, 25 May 2021 02:36:13 GMT (669kb,D)
[v2] Mon, 6 Dec 2021 03:25:34 GMT (3747kb,D)
[v3] Sat, 2 Jul 2022 18:50:23 GMT (2228kb,D)
Link back to: arXiv, form interface, contact.