selecting representative examples for program synthesis

code for icml paper: https://arxiv.org/abs/1711.03243v3

the supplimentary PDF contains experiment details (problem, NN architecture, training details)

the contents

/ordering for the order synthesis experiment

/dfa for the dfa synthesis experiment

/graphix experiment for simple diagram synthesis

python 2.7

tensorflow 1.8

z3 solver with python binding : https://github.com/Z3Prover/z3