66 citations · 104 across the 8 of their papers we have counts for
3 papers · 1 filter
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
Kia Rahmani, Mohammad Raza, Sumit Gulwani +5
Multi-modal program synthesis refers to the task of synthesizing programs (code) from their specification given in different forms, such as a combination of natural language and ex…
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov +3
Synthesizing user-intended programs from a small number of input-output examples is a challenging problem with several important applications like spreadsheet manipulation, data wr…
Textual Features for Programming by Example
Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani +2
In Programming by Example, a system attempts to infer a program from input and output examples, generally by searching for a composition of certain base functions. Performing a nai…