activity
20172026
most citedCertifying Zero-Knowledge Circuits with Refinement Types

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2018 · cs.AIShow all

1 paper · 2 filters

cs.AI2018

Program Synthesis Through Reinforcement Learning Guided Tree Search

Riley Simmons-Edler, Anders Miltner, Sebastian Seung

Program Synthesis is the task of generating a program from a provided specification. Traditionally, this has been treated as a search problem by the programming languages (PL) comm…