Login / Signup
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version).
Benjamin Mariano
Yanju Chen
Yu Feng
Greg Durrett
Isil Dillig
Published in:
CoRR (2022)
Keyphrases
</>
program synthesis
neural network
source code
recursive programs
network architecture
inductive logic programming
domain knowledge
neural model
functional connectivity
database
associative memory
relational learning