Matches in SemOpenAlex for { <https://semopenalex.org/work/W3188732312> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3188732312 abstract "Author(s): Caulfield, Benjamin Vincent | Advisor(s): Seshia, Sanjit A | Abstract: Program synthesis is the use of algorithms to derive programs that satisfy given specifications. These specifications are usually given in some form of computer-understandable logic. Specifications are usually much easier to write than the programs themselves. By ‘filling in the details’ given by the specification, program synthesis opens the possibility of creating simple programs to both lay people and non-programming domain experts.Recent work in program synthesis has used techniques from ‘exact active learning’, where learning algorithms are able to pose queries to oracles. In the case of program synthesis, these oracles are implemented by checking potential programs against the given specification or asking a user for more inputs.Another recent development in the field is Syntax-Guided Synthesis (SyGuS), where the space of potential programs is given by a tree-grammar (or context-free grammar). Specifications are given in the logic of SMT (satisfiability modulo theories) problems.This thesis further develops the theory behind exact active learning, program synthesis, and their intersection. We provide upper and lower bounds, including undecidability results, for SyGuS problems defined on various SMT theories. We introduce the subject of actively learning equational theories and show how it can be used to learn constrained EUF formulas. We expand the problem of learning symbolic automata to use different types of symbolic counterexamples. We study the problem of exact active learning of concepts that are comprised of independent components, andshow when the knowledge that components work independently can significantly reduce learning complexity. Finally, we introduce new methods for SyGuS solving with respect to cost, where the goal is to find the minimal cost program satisfying a specification." @default.
- W3188732312 created "2021-08-16" @default.
- W3188732312 creator A5012131858 @default.
- W3188732312 date "2020-01-01" @default.
- W3188732312 modified "2023-10-16" @default.
- W3188732312 title "Learning and Logic for Formal Synthesis" @default.
- W3188732312 cites W112693011 @default.
- W3188732312 cites W1480729609 @default.
- W3188732312 cites W1542298067 @default.
- W3188732312 cites W1561141718 @default.
- W3188732312 cites W1572073643 @default.
- W3188732312 cites W1666913489 @default.
- W3188732312 cites W1924375494 @default.
- W3188732312 cites W1975638108 @default.
- W3188732312 cites W1989445634 @default.
- W3188732312 cites W1997199152 @default.
- W3188732312 cites W2002089154 @default.
- W3188732312 cites W2009296697 @default.
- W3188732312 cites W2012436850 @default.
- W3188732312 cites W2013812265 @default.
- W3188732312 cites W2015788118 @default.
- W3188732312 cites W2021592352 @default.
- W3188732312 cites W2029706450 @default.
- W3188732312 cites W2037690395 @default.
- W3188732312 cites W2094878426 @default.
- W3188732312 cites W2134734244 @default.
- W3188732312 cites W2139709458 @default.
- W3188732312 cites W2161159055 @default.
- W3188732312 cites W2162960800 @default.
- W3188732312 cites W2276356546 @default.
- W3188732312 cites W2277582207 @default.
- W3188732312 cites W2294286398 @default.
- W3188732312 cites W258782345 @default.
- W3188732312 cites W33651973 @default.
- W3188732312 cites W607505555 @default.
- W3188732312 cites W2294351956 @default.
- W3188732312 cites W2970754490 @default.
- W3188732312 hasPublicationYear "2020" @default.
- W3188732312 type Work @default.
- W3188732312 sameAs 3188732312 @default.
- W3188732312 citedByCount "0" @default.
- W3188732312 crossrefType "journal-article" @default.
- W3188732312 hasAuthorship W3188732312A5012131858 @default.
- W3188732312 hasConcept C110251889 @default.
- W3188732312 hasConcept C11413529 @default.
- W3188732312 hasConcept C118615104 @default.
- W3188732312 hasConcept C134306372 @default.
- W3188732312 hasConcept C151730666 @default.
- W3188732312 hasConcept C154945302 @default.
- W3188732312 hasConcept C162838799 @default.
- W3188732312 hasConcept C199360897 @default.
- W3188732312 hasConcept C2776937632 @default.
- W3188732312 hasConcept C2779343474 @default.
- W3188732312 hasConcept C33923547 @default.
- W3188732312 hasConcept C36503486 @default.
- W3188732312 hasConcept C41008148 @default.
- W3188732312 hasConcept C80444323 @default.
- W3188732312 hasConcept C86803240 @default.
- W3188732312 hasConceptScore W3188732312C110251889 @default.
- W3188732312 hasConceptScore W3188732312C11413529 @default.
- W3188732312 hasConceptScore W3188732312C118615104 @default.
- W3188732312 hasConceptScore W3188732312C134306372 @default.
- W3188732312 hasConceptScore W3188732312C151730666 @default.
- W3188732312 hasConceptScore W3188732312C154945302 @default.
- W3188732312 hasConceptScore W3188732312C162838799 @default.
- W3188732312 hasConceptScore W3188732312C199360897 @default.
- W3188732312 hasConceptScore W3188732312C2776937632 @default.
- W3188732312 hasConceptScore W3188732312C2779343474 @default.
- W3188732312 hasConceptScore W3188732312C33923547 @default.
- W3188732312 hasConceptScore W3188732312C36503486 @default.
- W3188732312 hasConceptScore W3188732312C41008148 @default.
- W3188732312 hasConceptScore W3188732312C80444323 @default.
- W3188732312 hasConceptScore W3188732312C86803240 @default.
- W3188732312 hasLocation W31887323121 @default.
- W3188732312 hasOpenAccess W3188732312 @default.
- W3188732312 hasPrimaryLocation W31887323121 @default.
- W3188732312 hasRelatedWork W1487097074 @default.
- W3188732312 hasRelatedWork W1494663138 @default.
- W3188732312 hasRelatedWork W151844960 @default.
- W3188732312 hasRelatedWork W1568715924 @default.
- W3188732312 hasRelatedWork W1573627012 @default.
- W3188732312 hasRelatedWork W2010249294 @default.
- W3188732312 hasRelatedWork W2037479306 @default.
- W3188732312 hasRelatedWork W2095422970 @default.
- W3188732312 hasRelatedWork W2126250701 @default.
- W3188732312 hasRelatedWork W2139768395 @default.
- W3188732312 hasRelatedWork W2143230053 @default.
- W3188732312 hasRelatedWork W2246996556 @default.
- W3188732312 hasRelatedWork W2494123147 @default.
- W3188732312 hasRelatedWork W2617522286 @default.
- W3188732312 hasRelatedWork W2922787213 @default.
- W3188732312 hasRelatedWork W2949592845 @default.
- W3188732312 hasRelatedWork W3009223079 @default.
- W3188732312 hasRelatedWork W3127969445 @default.
- W3188732312 hasRelatedWork W3173544823 @default.
- W3188732312 hasRelatedWork W622472012 @default.
- W3188732312 isParatext "false" @default.
- W3188732312 isRetracted "false" @default.
- W3188732312 magId "3188732312" @default.
- W3188732312 workType "article" @default.