47 citations · 124 across the 20 of their papers we have counts for
4 papers · 1 filter
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version)
Benjamin Mariano, Yanju Chen, Yu Feng +2
While many mainstream languages such as Java, Python, and C# increasingly incorporate functional APIs to simplify programming and improve parallelization/performance, there are no…
Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang +3
In this paper, we propose a new technique based on program synthesis for extracting information from webpages. Given a natural language query and a few labeled webpages, our method…
LambdaNet: Probabilistic Type Inference using Graph Neural Networks
Jiayi Wei, Maruth Goyal, Greg Durrett +1
As gradual typing becomes increasingly popular in languages like Python and TypeScript, there is a growing need to infer type annotations automatically. While type annotations help…
Multi-modal Synthesis of Regular Expressions
Qiaochu Chen, Xinyu Wang, Xi Ye +2
In this paper, we propose a multi-modal synthesis technique for automatically constructing regular expressions (regexes) from a combination of examples and natural language. Using…