Synthesizing Symmetric Lenses

no code implementations • 26 Oct 2018 • Anders Miltner, Solomon Maina, Kathleen Fisher, Benjamin C. Pierce, David Walker, Steve Zdancewic

Recent work has also demonstrated how techniques from type-directed program synthesis can be used to efficiently synthesize a very simple class of lenses --- so-called bijective lenses over string data --- given a pair of types (regular expressions) and a small number of examples.

Programming Languages

Program Synthesis Through Reinforcement Learning Guided Tree Search

no code implementations • 8 Jun 2018 • Riley Simmons-Edler, Anders Miltner, Sebastian Seung

Program Synthesis is the task of generating a program from a provided specification.

Program Synthesis reinforcement-learning +2