Usage of ProgSynth

The ProgSynth framework currently focuses on the Programming By Exemples (PBE) specification of tasks. Other cases are planned to be supported, despite this most elements of ProgSynth can be used independently of the specification.

The synth folder is a standalone library and does not provide ready to use code in the same manner a model.fit() does, however we provide in ./examples scripts and DSLs that are ready to use.

These scripts enable you to reproduce the results from papers or can be modified to test your ideas. The scripts are pretty generic and in general can be used for your own custom DSL with little to no modification.

For further information, in each specification folder inside ./examples there is a README explaining the use of scripts, what DSLs are implemented from which paper and where to download the datasets.

The tutorial on section Tutorial uses the example of tasks based on additions and substractions between integers or between floating point numbers, explaining step-by-step how to create a new DSL that can be used by the framework.