activity
20172026
most citedProgram Synthesis Through Reinforcement Learning Guided Tree Search

3 citations · 5 across the 6 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.PL2021

Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution

Anders Miltner, Adrian Trejo Nuñez, Ana Brendel +2

We present a novel bottom-up method for the synthesis of functional recursive programs. While bottom-up synthesis techniques can work better than top-down methods in certain settin…