DeepSynth logo


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.


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


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


Cite DeepSynth in academic publications as: