UC BerkeleyUC Berkeley Previously Published WorksTitleSyntax-guided synthesisPermalinkhttps://escholarship.org/uc/item/1g67m7hpISBN9780983567837AuthorsAlur, RBodik, RJuniwal, Get al.Publication Date2013-12-01 Peer reviewedeScholarship.org Powered by the California Digital LibraryUniversity of California ...
In this paper, we propose QSYGUS, a unifying framework for describing syntax-guided synthesis problems with quantitative objectives over the syntax of the synthesized programs. QSYGUS builds on weighted (tree) grammars, a clean and foundational formalism that provides flexible support for different ...
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 interaction and more widespread adoption. Existing approaches to PBE synthesis have ...
We propose a novel approach to understanding the decision making of complex machine learning models (e.g., deep neural networks) using a combination of probably approximately correct learning (PAC) and a logic inference methodology called syntax-guided synthesis (SyGuS). We prove that our framework...
Grammar Filtering For Syntax-Guided Synthesis Combining the logical and the probabilistic in program analysis Constraint-Based Synthesis of Coupling Proofs AI Evaluation: past, present and future ∗ 社区问答 我要提问 Q1 论文试图解决什么问题?
NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie FSE|November 2022 Organized by ACM ...
NL2Viz: Natural Language to Visualization via Constrained Syntax-Guided Synthesis Zhengkai Wu, Vu Le, Ashish Tiwari, Sumit Gulwani, Arjun Radhakrishna, Ivan Radicek, Gustavo Soares, Xinyu Wang, Zhenwen Li, Tao Xie FSE|November 2022 Organized by ACM ...
Springer, ChamG. Fedyukovich and R. Bod´ik. Accelerating Syntax-Guided Invariant Synthesis. In TACAS, Part I, volume 10805 of LNCS, pages 251-269. Springer, 2018.G. Fedyukovich and R. Bod´ik, "Accelerating Syntax-Guided Invariant Synthesis," in TACAS, Part I, vol. 10805 of LNCS...
Through relevant case studies we demonstrate that our approach significantly improves the capability of existing methods for synthesis of biochemical systems and paves the way towards their automated and provably-correct design.CardelliLuca1C?es?ka...
Syntax-guided synthesis (SyGuS) is a recently proposed framework for program synthesis problems. The SyGuS problem is to find an expression or program generated by a given grammar that meets a correctness specification. Correctness specifications are given as formulas in suitable logical theories, ...