research
∙
08/21/2023
DataVinci: Learning Syntactic and Semantic String Repairs
String data is common in real-world datasets: 67.6 1.8 million real Exce...
share
research
∙
08/14/2023
Demonstration of CORNET: A System For Learning Spreadsheet Formatting Rules By Example
Data management and analysis tasks are often carried out using spreadshe...
research
∙
06/29/2023
Generative AI for Programming Education: Benchmarking ChatGPT, GPT-4, and Human Tutors
Generative AI and large language models hold great promise in enhancing ...
research
∙
05/23/2023
GrACE: Generation using Associated Code Edits
Developers expend a significant amount of time in editing code for a var...
research
∙
05/17/2023
Personalized action suggestions in low-code automation platforms
Automation platforms aim to automate repetitive tasks using workflows, w...
research
∙
05/02/2023
From Words to Code: Harnessing Data for Program Synthesis from Natural Language
Creating programs to correctly manipulate data is a difficult task, as t...
research
∙
01/31/2023
FLAME: A small language model for spreadsheet formulas
The widespread use of spreadsheet environments by billions of users pres...
research
∙
01/24/2023
Generating High-Precision Feedback for Programming Syntax Errors using Large Language Models
Large language models (LLMs), such as Codex, hold great promise in enhan...
research
∙
09/29/2022
Repairing Bugs in Python Assignments Using Large Language Models
Students often make mistakes on their introductory programming assignmen...
research
∙
08/24/2022
Repair Is Nearly Generation: Multilingual Program Repair with LLMs
Most programmers make mistakes when writing code. Some of these mistakes...
research
∙
08/11/2022
CORNET: Learning Table Formatting Rules By Example
Spreadsheets are widely used for table manipulation and presentation. St...
research
∙
07/25/2022
Overwatch: Learning Patterns in Code Edit Sequences
Integrated Development Environments (IDEs) provide tool support to autom...
research
∙
07/24/2022
Neurosymbolic Repair for Low-Code Formula Languages
Most users of low-code platforms, such as Excel and PowerApps, write pro...
research
∙
01/26/2022
Synchromesh: Reliable code generation from pre-trained language models
Large pre-trained language models have been used to generate code,provid...
research
∙
09/03/2021
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
Multi-modal program synthesis refers to the task of synthesizing program...
research
∙
03/02/2021
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
Forking structure is widespread in the open-source repositories and that...
research
∙
07/14/2020
Programming by Rewards
We formalize and study “programming by rewards” (PBR), a new approach fo...
research
∙
07/07/2020
Computer-Aided Personalized Education
The shortage of people trained in STEM fields is becoming acute, and uni...
research
∙
06/22/2020
Information-theoretic User Interaction: Significant Inputs for Program Synthesis
Programming-by-example technologies are being deployed in industrial pro...
research
∙
03/03/2020
Data Invariants: On Trust in Data-Driven Systems
The reliability and proper function of data-driven applications hinge on...
research
∙
09/12/2019
Quantitative Programming by Examples
Programming-by-Example (PBE) systems synthesize an intended program in s...
research
∙
04/03/2018
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
Synthesizing user-intended programs from a small number of input-output ...
research
∙
10/29/2015
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
This paper presents an intelligent tutoring system, GeoTutor, for Euclid...
research
∙
11/14/2014
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games
Simple board games, like Tic-Tac-Toe and CONNECT-4, play an important ro...
research
∙
09/17/2012
Textual Features for Programming by Example
In Programming by Example, a system attempts to infer a program from inp...
research
∙
04/08/2012