Search Results for author:
Found 13 papers, 2 papers with code
Synchromesh: Reliable code generation from pre-trained language models
Then, Synchromesh feeds the examples to a pre-trained language model and samples programs using Constrained Semantic Decoding (CSD): a general framework for constraining the output to a set of valid programs in the target language.
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
Examples provide a precise but incomplete specification, and natural language provides an ambiguous but more "complete" task description.
Programming by Rewards
The goal of the synthesizer is to synthesize a "decision function" $f$ which transforms the features to a decision value for the black-box component so as to maximize the expected reward $E[r \circ f (x)]$ for executing decisions $f(x)$ for various values of $x$.
Information-theoretic User Interaction: Significant Inputs for Program Synthesis
In the context of interactive program synthesis, we use the above result to develop an {\em{active program learner}} that generates the significant inputs to pose as queries to the user in each iteration.
Quantitative Programming by Examples
Programming-by-Example (PBE) systems synthesize an intended program in some (relatively constrained) domain-specific language from a small number of input-output examples provided by the user.
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
In this work, we propose Neural Guided Deductive Search (NGDS), a hybrid synthesis technique that combines the best of both symbolic logic techniques and statistical models.
FlashProfile: A Framework for Synthesizing Data Profiles
However, manual inspection of data to identify the different formats is infeasible in standard big-data scenarios.
Learning Syntactic Program Transformations from Examples
In the second domain, we use repetitive edits applied by developers to the same project to synthesize a program transformation that applies these edits to other locations in the code.
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis
Apart from the code snapshots at regular intervals, Prutor also collects other valuable data such as the time taken by the students to solve the problems, the number of compile and execution events, and the errors made.
Computers and Society Programming Languages Software Engineering
Automated Clustering and Program Repair for Introductory Programming Assignments
We obtain promising initial results (the average usefulness grade 3. 4 on a scale from 1 to 5), and conclude that our approach can be used in an interactive setting.
Programming Languages
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System
This paper presents an intelligent tutoring system, GeoTutor, for Euclidean Geometry that is automatically able to synthesize proof problems and their respective solutions given a geometric figure together with a set of properties true of it.
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games
Simple board games, like Tic-Tac-Toe and CONNECT-4, play an important role not only in the development of mathematical and logical skills, but also in the emotional and social development.
Automating string processing in spreadsheets using input-output examples
We describe the design of a string programming/expression lan- guage that supports restricted forms of regular expressions, condi- tionals and loops.
