Matches in SemOpenAlex for { <https://semopenalex.org/work/W3043281046> ?p ?o ?g. }
- W3043281046 abstract "The use of deep learning techniques has achieved significant progress for program synthesis from input-output examples. However, when the program semantics become more complex, it still remains a challenge to synthesize programs consistent with the specification. In this work, we propose SED, a neural program generation framework that incorporates synthesis, execution, and debugging stages. Instead of purely relying on the neural program synthesizer to generate the final program, SED first produces initial programs using the neural program synthesizer component, then utilizes a neural program debugger to iteratively repair the generated programs. The integration of the debugger component enables SED to modify the programs based on the execution results and specification, which resembles the coding process of human programmers. On Karel, a challenging input-output program synthesis benchmark, SED reduces the error rate of the neural program synthesizer itself by at least 7.5%, and outperforms the standard beam search for decoding." @default.
- W3043281046 created "2020-07-23" @default.
- W3043281046 creator A5012888899 @default.
- W3043281046 creator A5019426968 @default.
- W3043281046 creator A5024486624 @default.
- W3043281046 creator A5084528577 @default.
- W3043281046 date "2020-07-16" @default.
- W3043281046 modified "2023-09-27" @default.
- W3043281046 title "Synthesize, Execute and Debug: Learning to Repair for Neural Program Synthesis" @default.
- W3043281046 cites W1502767928 @default.
- W3043281046 cites W2037237472 @default.
- W3043281046 cites W2091092523 @default.
- W3043281046 cites W2145124323 @default.
- W3043281046 cites W2146105230 @default.
- W3043281046 cites W2165005075 @default.
- W3043281046 cites W2276356546 @default.
- W3043281046 cites W2294628582 @default.
- W3043281046 cites W2550100435 @default.
- W3043281046 cites W2550120381 @default.
- W3043281046 cites W2605202003 @default.
- W3043281046 cites W2740646481 @default.
- W3043281046 cites W2785423445 @default.
- W3043281046 cites W2785992207 @default.
- W3043281046 cites W2804838341 @default.
- W3043281046 cites W2805346154 @default.
- W3043281046 cites W2890007640 @default.
- W3043281046 cites W2910040435 @default.
- W3043281046 cites W2910663469 @default.
- W3043281046 cites W2914933759 @default.
- W3043281046 cites W2924497240 @default.
- W3043281046 cites W2963022684 @default.
- W3043281046 cites W2963102152 @default.
- W3043281046 cites W2963220331 @default.
- W3043281046 cites W2963267685 @default.
- W3043281046 cites W2963780546 @default.
- W3043281046 cites W2970498626 @default.
- W3043281046 cites W2971324691 @default.
- W3043281046 cites W2996248296 @default.
- W3043281046 cites W2996371335 @default.
- W3043281046 hasPublicationYear "2020" @default.
- W3043281046 type Work @default.
- W3043281046 sameAs 3043281046 @default.
- W3043281046 citedByCount "1" @default.
- W3043281046 countsByYear W30432810462021 @default.
- W3043281046 crossrefType "posted-content" @default.
- W3043281046 hasAuthorship W3043281046A5012888899 @default.
- W3043281046 hasAuthorship W3043281046A5019426968 @default.
- W3043281046 hasAuthorship W3043281046A5024486624 @default.
- W3043281046 hasAuthorship W3043281046A5084528577 @default.
- W3043281046 hasConcept C105795698 @default.
- W3043281046 hasConcept C111919701 @default.
- W3043281046 hasConcept C118505674 @default.
- W3043281046 hasConcept C121332964 @default.
- W3043281046 hasConcept C13280743 @default.
- W3043281046 hasConcept C154945302 @default.
- W3043281046 hasConcept C168065819 @default.
- W3043281046 hasConcept C168167062 @default.
- W3043281046 hasConcept C179518139 @default.
- W3043281046 hasConcept C185798385 @default.
- W3043281046 hasConcept C199360897 @default.
- W3043281046 hasConcept C205649164 @default.
- W3043281046 hasConcept C2776937632 @default.
- W3043281046 hasConcept C2778485113 @default.
- W3043281046 hasConcept C33923547 @default.
- W3043281046 hasConcept C41008148 @default.
- W3043281046 hasConcept C50644808 @default.
- W3043281046 hasConcept C97355855 @default.
- W3043281046 hasConcept C98045186 @default.
- W3043281046 hasConceptScore W3043281046C105795698 @default.
- W3043281046 hasConceptScore W3043281046C111919701 @default.
- W3043281046 hasConceptScore W3043281046C118505674 @default.
- W3043281046 hasConceptScore W3043281046C121332964 @default.
- W3043281046 hasConceptScore W3043281046C13280743 @default.
- W3043281046 hasConceptScore W3043281046C154945302 @default.
- W3043281046 hasConceptScore W3043281046C168065819 @default.
- W3043281046 hasConceptScore W3043281046C168167062 @default.
- W3043281046 hasConceptScore W3043281046C179518139 @default.
- W3043281046 hasConceptScore W3043281046C185798385 @default.
- W3043281046 hasConceptScore W3043281046C199360897 @default.
- W3043281046 hasConceptScore W3043281046C205649164 @default.
- W3043281046 hasConceptScore W3043281046C2776937632 @default.
- W3043281046 hasConceptScore W3043281046C2778485113 @default.
- W3043281046 hasConceptScore W3043281046C33923547 @default.
- W3043281046 hasConceptScore W3043281046C41008148 @default.
- W3043281046 hasConceptScore W3043281046C50644808 @default.
- W3043281046 hasConceptScore W3043281046C97355855 @default.
- W3043281046 hasConceptScore W3043281046C98045186 @default.
- W3043281046 hasLocation W30432810461 @default.
- W3043281046 hasOpenAccess W3043281046 @default.
- W3043281046 hasPrimaryLocation W30432810461 @default.
- W3043281046 hasRelatedWork W1488238704 @default.
- W3043281046 hasRelatedWork W1498219067 @default.
- W3043281046 hasRelatedWork W1520271518 @default.
- W3043281046 hasRelatedWork W1588090125 @default.
- W3043281046 hasRelatedWork W1968396977 @default.
- W3043281046 hasRelatedWork W1969937874 @default.
- W3043281046 hasRelatedWork W2053681871 @default.
- W3043281046 hasRelatedWork W2060066096 @default.
- W3043281046 hasRelatedWork W2098447636 @default.
- W3043281046 hasRelatedWork W2139634727 @default.