Výsledky vyhledávání - "Programming by Example"

Neurosymbolic Models for Computer Graphics Autor Ritchie, Daniel, Guerrero, Paul, Jones, R. Kenny, Mitra, Niloy J., Schulz, Adriana, Willis, Karl D. D., Wu, Jiajun

“…Procedural models (i.e. symbolic programs that output visual data) are a historically‐popular method for representing graphics content: vegetation, buildings,…”
Získat plný text

Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects Autor Segovia-Aguas, Javier, Jiménez, Sergio, Jonsson, Anders

“…Planning as heuristic search is one of the most successful approaches to classical planning but unfortunately, it does not trivially extend to Generalized…”
Získat plný text

Data Formulator: AI-powered Concept-driven Visualization Authoring Autor Wang, Chenglong, Thompson, John, Lee, Bongshin

“…With most modern visualization tools, authors need to transform their data into tidy formats to create visualizations they want. Because this requires…”
Získat plný text

What Makes Good In-Context Demonstrations for Code Intelligence Tasks with LLMs? Autor Gao, Shuzheng, Wen, Xin-Cheng, Gao, Cuiyun, Wang, Wenxuan, Zhang, Hongyu, Lyu, Michael R.

“…Pre-trained models of source code have gained widespread popularity in many code intelligence tasks. Recently, with the scaling of the model and corpus size,…”
Získat plný text

On the fly synthesis of edit suggestions Autor Miltner, Anders, Gulwani, Sumit, Le, Vu, Leung, Alan, Radhakrishna, Arjun, Soares, Gustavo, Tiwari, Ashish, Udupa, Abhishek

“…When working with a document, users often perform context-specific repetitive edits – changes to the document that are similar but specific to the contexts at…”
Získat plný text

FlashFill++: Scaling Programming by Example by Cutting to the Chase Autor Cambronero, José, Gulwani, Sumit, Le, Vu, Perelman, Daniel, Radhakrishna, Arjun, Simon, Clint, Tiwari, Ashish

“…Programming-by-Examples (PBE) involves synthesizing an "intended program" from a small set of user-provided input-output examples. A key PBE strategy has been…”
Získat plný text

Rigel: Transforming Tabular Data by Declarative Mapping Autor Chen, Ran, Weng, Di, Huang, Yanwei, Shu, Xinhuan, Zhou, Jiayi, Sun, Guodao, Wu, Yingcai

“…We present Rigel, an interactive system for rapid transformation of tabular data. Rigel implements a new declarative mapping approach that formulates the data…”
Získat plný text

Neural Program Synthesis for Automatic Image Enhancement Autor P, Vasuki, N, Sripriya, S, Jacindha, G, Abishek, A, Supriya Abirami

“…Program synthesis is the art of synthesizing programs from the user's specifications. The user's in-tent is specified through demonstration, natural language,…”
Získat plný text

Semantic programming by example with pre-trained models Autor Verbruggen, Gust, Le, Vu, Gulwani, Sumit

“…The ability to learn programs from few examples is a powerful technology with disruptive applications in many domains, as it allows users to automate…”
Získat plný text

Combining the top-down propagation and bottom-up enumeration for inductive program synthesis Autor Lee, Woosuk

“…We present an effective method for scalable and general-purpose inductive program synthesis. There have been two main approaches for inductive synthesis:…”
Získat plný text

Data Extraction via Semantic Regular Expression Synthesis Autor Chen, Qiaochu, Banerjee, Arko, Demiralp, Çağatay, Durrett, Greg, Dillig, Işıl

“…Many data extraction tasks of practical relevance require not only syntactic pattern matching but also semantic reasoning about the content of the underlying…”
Získat plný text

TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint Autor Liu, Shuguan, Wang, Huiyan, Xu, Chang

“…Programming by Example (PBE) is increasingly assisting human users by recognizing and executing repetitive tasks, such as text editing and spreadsheet…”
Získat plný text

PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software Autor Kim, Yoel, Choi, Yunja

“…Comprehensive verification/falsification of embedded software is challenging and often impossible mainly due to the typical characteristics of embedded…”
Získat plný text

Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example Autor Dilhara, Malinda, Bellur, Abhiram, Bryksin, Timofey, Dig, Danny

“…Software developers often repeat the same code changes within a project or across different projects. These repetitive changes are known as “code change…”
Získat plný text

Synthesis of data completion scripts using finite tree automata Autor Wang, Xinyu, Dillig, Isil, Singh, Rishabh

“…In application domains that store data in a tabular format, a common task is to fill the values of some cells using values stored in other cells. For instance,…”
Získat plný text

Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions Autor Lee, Woosuk, Cho, Hangyeol

“…We present a novel approach to synthesizing recursive functional programs from input-output examples. Synthesizing a recursive function is challenging because…”
Získat plný text

Trace-Guided Inductive Synthesis of Recursive Functional Programs Autor Yuan, Yongwei, Radhakrishna, Arjun, Samanta, Roopsha

“…We propose a novel trace-guided approach to tackle the challenges of ambiguity and generalization in synthesis of recursive functional programs from…”
Získat plný text

Just-in-time learning for bottom-up enumerative synthesis Autor Barke, Shraddha, Peleg, Hila, Polikarpova, Nadia

“…A key challenge in program synthesis is the astronomical size of the search space the synthesizer has to explore. In response to this challenge, recent work…”
Získat plný text

Generalizable synthesis through unification Autor Ji, Ruyi, Xia, Jingtao, Xiong, Yingfei, Hu, Zhenjiang

“…The generalizability of PBE solvers is the key to the empirical synthesis performance. Despite the importance of generalizability, related studies on PBE…”
Získat plný text

FrAngel: component-based synthesis with control structures Autor Shi, Kensen, Steinhardt, Jacob, Liang, Percy

“…In component-based program synthesis, the synthesizer generates a program given a library of components (functions). Existing component-based synthesizers have…”
Získat plný text