search

evanthebouncy / icml2018_selecting_representative_examples

code for icml paper: https://arxiv.org/abs/1711.03243v3
11 stars 3 forks source link

readme

selecting representative examples for program synthesis

alt text

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