Search Results - "Programming by example"

Neurosymbolic Models for Computer Graphics by 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,…”
Get full text

Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects by 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…”
Get full text

Data Formulator: AI-powered Concept-driven Visualization Authoring by 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…”
Get full text

What Makes Good In-Context Demonstrations for Code Intelligence Tasks with LLMs? by 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,…”
Get full text

On the fly synthesis of edit suggestions by 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…”
Get full text

FlashFill++: Scaling Programming by Example by Cutting to the Chase by 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…”
Get full text

Rigel: Transforming Tabular Data by Declarative Mapping by 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…”
Get full text

Neural Program Synthesis for Automatic Image Enhancement by 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,…”
Get full text

Semantic programming by example with pre-trained models by 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…”
Get full text

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

“…We present an effective method for scalable and general-purpose inductive program synthesis. There have been two main approaches for inductive synthesis:…”
Get full text

Data Extraction via Semantic Regular Expression Synthesis by 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…”
Get full text

TIDY: A PBE-based framework supporting smart transformations for entity consistency in PowerPoint by 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…”
Get full text

Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example by 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…”
Get full text

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

“…Comprehensive verification/falsification of embedded software is challenging and often impossible mainly due to the typical characteristics of embedded…”
Get full text

Synthesis of data completion scripts using finite tree automata by 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,…”
Get full text

Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions by 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…”
Get full text

Trace-Guided Inductive Synthesis of Recursive Functional Programs by 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…”
Get full text

Just-in-time learning for bottom-up enumerative synthesis by 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…”
Get full text

Generalizable synthesis through unification by 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…”
Get full text

FrAngel: component-based synthesis with control structures by 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…”
Get full text