DeepSynth logo

DeepSynth

General-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of input and output, DeepSynth finds a program matching the examples.

DeepSynth is a tool for automatically synthesizing programs from examples. It combines machine learning predictions with efficient enumeration techniques in a very generic way.

The following figure shows the pipeline.

DeepSynth was written in Python by Nathanaël Fijalkow, Théo Matricon, Guillaume Lagarde, and Kevin Ellis.

Documentation

We refer to the Github README for a documentation and introductory examples

Contact

For questions, suggestions and comments, you may contact Nathanaël and Théo. Contributions are most welcome!

Citing

Cite DeepSynth in academic publications as: