【文件属性】：
文件名称：icml2018_selecting_representative_examples:icml纸代码
文件大小：39.81MB
文件格式：ZIP
更新时间：2021-05-02 20:42:21
OpenEdgeABL
选择代表性示例进行程序合成
icml纸的代码： ://arxiv.org/abs/1711.03243v3
随附的PDF包含实验详细信息（问题，NN结构，培训详细信息）
内容
/订购以进行订单综合实验
/ dfa用于dfa合成实验
/ graphix实验，用于简单的图合成
python 2.7
张量流1.8
具有python绑定的z3解算器： :
【文件预览】：
icml2018_selecting_representative_examples-master
----icml-2018-supplimentary.pdf(391KB)
----dfa()
--------models()
--------time_experiment.py(2KB)
--------result.p(390KB)
--------dfa_solver.py(4KB)
--------model.py(7KB)
--------invert.py(7KB)
--------h1.py(13KB)
--------README.md(480B)
--------grapher.py(5KB)
--------data()
--------.gitignore(12B)
--------gen.py(7KB)
----pictures()
--------synthesis_pipeline.png(118KB)
----orderings()
--------results.p(149KB)
--------prune.py(4KB)
--------models()
--------model.py(5KB)
--------experiment.py(3KB)
--------README.md(411B)
--------network.py(3KB)
--------grapher.py(2KB)
--------data()
--------.gitignore(12B)
--------solver.py(4KB)
--------test_get_subset.py(593B)
--------gen.py(2KB)
----graphix()
--------util.py(882B)
--------models()
--------graphix_solver.py(14KB)
--------meta_params.py(646B)
--------data.py(767B)
--------drawings()
--------result.p(605KB)
--------model.py(8KB)
--------invert.py(6KB)
--------script_train.py(978B)
--------script_time_experiment.py(2KB)
--------hand_examples.py(2KB)
--------graphix_lang.py(7KB)
--------README.md(484B)
--------draw.py(3KB)
--------grapher.py(3KB)
--------data()
--------.gitignore(18B)
----README.md(601B)
----.gitignore(1KB)