├── .gitignore ├── Algorithms ├── a_star.py ├── bfs.py ├── dfs.py ├── heap_search.py ├── heap_search_naive.py ├── hybrid.py ├── parallel.py ├── ray_parallel.py ├── sort_and_add.py ├── sqrt_sampling.py └── threshold_search.py ├── DSL ├── circuits.py ├── deepcoder.py ├── flashfill.py └── list.py ├── LICENSE ├── Predictions ├── IOencodings.py ├── dataset_sampler.py ├── embeddings.py └── models.py ├── README.md ├── cfg.py ├── cons_list.py ├── deepcoder_dataset_loader.py ├── dreamcoder_dataset_loader.py ├── dsl.py ├── experiment_helper.py ├── fixed+rnn+global_deepcoder.weights ├── fixed+rnn+global_dreamcoder.weights ├── flashfill_dataset ├── bikes-long-repeat.sl ├── bikes-long.sl ├── bikes.sl ├── bikes_small.sl ├── dr-name-long-repeat.sl ├── dr-name-long.sl ├── dr-name.sl ├── dr-name_small.sl ├── firstname-long-repeat.sl ├── firstname-long.sl ├── firstname.sl ├── firstname_small.sl ├── initials-long-repeat.sl ├── initials-long.sl ├── initials.sl ├── initials_small.sl ├── lastname-long-repeat.sl ├── lastname-long.sl ├── lastname.sl ├── lastname_small.sl ├── name-combine-2-long-repeat.sl ├── name-combine-2-long.sl ├── name-combine-2.sl ├── name-combine-2_short.sl ├── name-combine-3-long-repeat.sl ├── name-combine-3-long.sl ├── name-combine-3.sl ├── name-combine-3_short.sl ├── name-combine-4-long-repeat.sl ├── name-combine-4-long.sl ├── name-combine-4.sl ├── name-combine-4_short.sl ├── name-combine-long-repeat.sl ├── name-combine-long.sl ├── name-combine.sl ├── name-combine_short.sl ├── phone-1-long-repeat.sl ├── phone-1-long.sl ├── phone-1.sl ├── phone-10-long-repeat.sl ├── phone-10-long.sl ├── phone-10.sl ├── phone-10_short.sl ├── phone-1_short.sl ├── phone-2-long-repeat.sl ├── phone-2-long.sl ├── phone-2.sl ├── phone-2_short.sl ├── phone-3-long-repeat.sl ├── phone-3-long.sl ├── phone-3.sl ├── phone-3_short.sl ├── phone-4-long-repeat.sl ├── phone-4-long.sl ├── phone-4.sl ├── phone-4_short.sl ├── phone-5-long-repeat.sl ├── phone-5-long.sl ├── phone-5.sl ├── phone-5_short.sl ├── phone-6-long-repeat.sl ├── phone-6-long.sl ├── phone-6.sl ├── phone-6_short.sl ├── phone-7-long-repeat.sl ├── phone-7-long.sl ├── phone-7.sl ├── phone-7_short.sl ├── phone-8-long-repeat.sl ├── phone-8-long.sl ├── phone-8.sl ├── phone-8_short.sl ├── phone-9-long-repeat.sl ├── phone-9-long.sl ├── phone-9.sl ├── phone-9_short.sl ├── phone-long-repeat.sl ├── phone-long.sl ├── phone.sl ├── phone_short.sl ├── reverse-name-long-repeat.sl ├── reverse-name-long.sl ├── reverse-name.sl ├── reverse-name_short.sl ├── univ_1-long-repeat.sl ├── univ_1-long.sl ├── univ_1.sl ├── univ_1_short.sl ├── univ_2-long-repeat.sl ├── univ_2-long.sl ├── univ_2.sl ├── univ_2_short.sl ├── univ_3-long-repeat.sl ├── univ_3-long.sl ├── univ_3.sl ├── univ_3_short.sl ├── univ_4-long-repeat.sl ├── univ_4-long.sl ├── univ_4.sl ├── univ_4_short.sl ├── univ_5-long-repeat.sl ├── univ_5-long.sl ├── univ_5.sl ├── univ_5_short.sl ├── univ_6-long-repeat.sl ├── univ_6-long.sl ├── univ_6.sl └── univ_6_short.sl ├── flashfill_dataset_loader.py ├── grammar_splitter.py ├── list_dataset ├── README ├── task_0_add-k with k=1.pickle ├── task_100_kth-smallest with k=3.pickle ├── task_101_kth-smallest with k=4.pickle ├── task_102_kth-smallest with k=5.pickle ├── task_103_last.pickle ├── task_104_len.pickle ├── task_105_max.pickle ├── task_106_min.pickle ├── task_107_modulo-k with k=1.pickle ├── task_108_modulo-k with k=2.pickle ├── task_109_modulo-k with k=3.pickle ├── task_10_append-k with k=0.pickle ├── task_110_modulo-k with k=4.pickle ├── task_111_modulo-k with k=5.pickle ├── task_112_mult-k with k=0.pickle ├── task_113_mult-k with k=2.pickle ├── task_114_mult-k with k=3.pickle ├── task_115_mult-k with k=4.pickle ├── task_116_mult-k with k=5.pickle ├── task_117_odds.pickle ├── task_118_pop.pickle ├── task_119_pow-k with k=2.pickle ├── task_11_append-k with k=1.pickle ├── task_120_pow-k with k=3.pickle ├── task_121_pow-k with k=4.pickle ├── task_122_pow-k with k=5.pickle ├── task_123_prepend-index-k with k=1.pickle ├── task_124_prepend-index-k with k=2.pickle ├── task_125_prepend-index-k with k=3.pickle ├── task_126_prepend-index-k with k=4.pickle ├── task_127_prepend-index-k with k=5.pickle ├── task_128_prepend-k with k=0.pickle ├── task_129_prepend-k with k=1.pickle ├── task_12_append-k with k=2.pickle ├── task_130_prepend-k with k=2.pickle ├── task_131_prepend-k with k=3.pickle ├── task_132_prepend-k with k=4.pickle ├── task_133_prepend-k with k=5.pickle ├── task_134_product.pickle ├── task_135_range.pickle ├── task_136_remove-index-k with k=1.pickle ├── task_137_remove-index-k with k=2.pickle ├── task_138_remove-index-k with k=3.pickle ├── task_139_remove-index-k with k=4.pickle ├── task_13_append-k with k=3.pickle ├── task_140_remove-index-k with k=5.pickle ├── task_141_remove-mod-head.pickle ├── task_142_remove-mod-k with k=2.pickle ├── task_143_remove-mod-k with k=3.pickle ├── task_144_remove-mod-k with k=4.pickle ├── task_145_remove-mod-k with k=5.pickle ├── task_146_repeat.pickle ├── task_147_repeat-k with k=2.pickle ├── task_148_repeat-k with k=3.pickle ├── task_149_repeat-k with k=4.pickle ├── task_14_append-k with k=4.pickle ├── task_150_repeat-k with k=5.pickle ├── task_151_repeat-many.pickle ├── task_152_replace-all-with-index-k with k=1.pickle ├── task_153_replace-all-with-index-k with k=2.pickle ├── task_154_replace-all-with-index-k with k=3.pickle ├── task_155_replace-all-with-index-k with k=4.pickle ├── task_156_replace-all-with-index-k with k=5.pickle ├── task_157_reverse.pickle ├── task_158_rotate-k with k=1.pickle ├── task_159_rotate-k with k=2.pickle ├── task_15_append-k with k=5.pickle ├── task_160_rotate-k with k=3.pickle ├── task_161_rotate-k with k=4.pickle ├── task_162_rotate-k with k=5.pickle ├── task_163_slice-k-n with k=1 and n=1.pickle ├── task_164_slice-k-n with k=1 and n=2.pickle ├── task_165_slice-k-n with k=1 and n=3.pickle ├── task_166_slice-k-n with k=1 and n=4.pickle ├── task_167_slice-k-n with k=1 and n=5.pickle ├── task_168_slice-k-n with k=2 and n=1.pickle ├── task_169_slice-k-n with k=2 and n=2.pickle ├── task_16_bool-identify-geq-k with k=0.pickle ├── task_170_slice-k-n with k=2 and n=3.pickle ├── task_171_slice-k-n with k=2 and n=4.pickle ├── task_172_slice-k-n with k=2 and n=5.pickle ├── task_173_slice-k-n with k=3 and n=1.pickle ├── task_174_slice-k-n with k=3 and n=2.pickle ├── task_175_slice-k-n with k=3 and n=3.pickle ├── task_176_slice-k-n with k=3 and n=4.pickle ├── task_177_slice-k-n with k=3 and n=5.pickle ├── task_178_slice-k-n with k=4 and n=1.pickle ├── task_179_slice-k-n with k=4 and n=2.pickle ├── task_17_bool-identify-geq-k with k=1.pickle ├── task_180_slice-k-n with k=4 and n=3.pickle ├── task_181_slice-k-n with k=4 and n=4.pickle ├── task_182_slice-k-n with k=4 and n=5.pickle ├── task_183_slice-k-n with k=5 and n=1.pickle ├── task_184_slice-k-n with k=5 and n=2.pickle ├── task_185_slice-k-n with k=5 and n=3.pickle ├── task_186_slice-k-n with k=5 and n=4.pickle ├── task_187_slice-k-n with k=5 and n=5.pickle ├── task_188_sort.pickle ├── task_189_sum.pickle ├── task_18_bool-identify-geq-k with k=2.pickle ├── task_190_tail.pickle ├── task_191_take-k with k=1.pickle ├── task_192_take-k with k=2.pickle ├── task_193_take-k with k=3.pickle ├── task_194_take-k with k=4.pickle ├── task_195_take-k with k=5.pickle ├── task_196_sort-and-deduplicate.pickle ├── task_197_+1 maximum list.pickle ├── task_198_range +1 maximum list.pickle ├── task_199_remove empty lists.pickle ├── task_19_bool-identify-geq-k with k=3.pickle ├── task_1_add-k with k=2.pickle ├── task_200_keep squares.pickle ├── task_201_keep primes.pickle ├── task_202_keep eq 0.pickle ├── task_203_remove eq 0.pickle ├── task_204_keep gt 0.pickle ├── task_205_remove gt 0.pickle ├── task_206_keep eq 1.pickle ├── task_207_remove eq 1.pickle ├── task_208_keep gt 1.pickle ├── task_209_remove gt 1.pickle ├── task_20_bool-identify-geq-k with k=4.pickle ├── task_210_keep eq 2.pickle ├── task_211_remove eq 2.pickle ├── task_212_keep gt 2.pickle ├── task_213_remove gt 2.pickle ├── task_214_keep eq 3.pickle ├── task_215_remove eq 3.pickle ├── task_216_keep gt 3.pickle ├── task_217_remove gt 3.pickle ├── task_21_bool-identify-geq-k with k=5.pickle ├── task_22_bool-identify-is-mod-k with k=1.pickle ├── task_23_bool-identify-is-mod-k with k=2.pickle ├── task_24_bool-identify-is-mod-k with k=3.pickle ├── task_25_bool-identify-is-mod-k with k=4.pickle ├── task_26_bool-identify-is-mod-k with k=5.pickle ├── task_27_bool-identify-is-prime.pickle ├── task_28_bool-identify-k with k=0.pickle ├── task_29_bool-identify-k with k=1.pickle ├── task_2_add-k with k=3.pickle ├── task_30_bool-identify-k with k=2.pickle ├── task_31_bool-identify-k with k=3.pickle ├── task_32_bool-identify-k with k=4.pickle ├── task_33_bool-identify-k with k=5.pickle ├── task_34_caesar-cipher-k-modulo-n with k=1 and n=2.pickle ├── task_35_caesar-cipher-k-modulo-n with k=1 and n=3.pickle ├── task_36_caesar-cipher-k-modulo-n with k=1 and n=4.pickle ├── task_37_caesar-cipher-k-modulo-n with k=1 and n=5.pickle ├── task_38_caesar-cipher-k-modulo-n with k=2 and n=3.pickle ├── task_39_caesar-cipher-k-modulo-n with k=2 and n=4.pickle ├── task_3_add-k with k=4.pickle ├── task_40_caesar-cipher-k-modulo-n with k=2 and n=5.pickle ├── task_41_caesar-cipher-k-modulo-n with k=3 and n=2.pickle ├── task_42_caesar-cipher-k-modulo-n with k=3 and n=4.pickle ├── task_43_caesar-cipher-k-modulo-n with k=3 and n=5.pickle ├── task_44_caesar-cipher-k-modulo-n with k=4 and n=3.pickle ├── task_45_caesar-cipher-k-modulo-n with k=4 and n=5.pickle ├── task_46_caesar-cipher-k-modulo-n with k=5 and n=2.pickle ├── task_47_caesar-cipher-k-modulo-n with k=5 and n=3.pickle ├── task_48_caesar-cipher-k-modulo-n with k=5 and n=4.pickle ├── task_49_count-head-in-tail.pickle ├── task_4_add-k with k=5.pickle ├── task_50_count-k with k=0.pickle ├── task_51_count-k with k=1.pickle ├── task_52_count-k with k=2.pickle ├── task_53_count-k with k=3.pickle ├── task_54_count-k with k=4.pickle ├── task_55_count-k with k=5.pickle ├── task_56_drop-k with k=1.pickle ├── task_57_drop-k with k=2.pickle ├── task_58_drop-k with k=3.pickle ├── task_59_drop-k with k=4.pickle ├── task_5_append-index-k with k=1.pickle ├── task_60_drop-k with k=5.pickle ├── task_61_dup.pickle ├── task_62_empty.pickle ├── task_63_evens.pickle ├── task_64_fibonacci.pickle ├── task_65_has-head-in-tail.pickle ├── task_66_has-k with k=0.pickle ├── task_67_has-k with k=1.pickle ├── task_68_has-k with k=2.pickle ├── task_69_has-k with k=3.pickle ├── task_6_append-index-k with k=2.pickle ├── task_70_has-k with k=4.pickle ├── task_71_has-k with k=5.pickle ├── task_72_head.pickle ├── task_73_index-head.pickle ├── task_74_index-k with k=1.pickle ├── task_75_index-k with k=2.pickle ├── task_76_index-k with k=3.pickle ├── task_77_index-k with k=4.pickle ├── task_78_index-k with k=5.pickle ├── task_79_is-evens.pickle ├── task_7_append-index-k with k=3.pickle ├── task_80_is-mod-k with k=1.pickle ├── task_81_is-mod-k with k=2.pickle ├── task_82_is-mod-k with k=3.pickle ├── task_83_is-mod-k with k=4.pickle ├── task_84_is-mod-k with k=5.pickle ├── task_85_is-odds.pickle ├── task_86_is-primes.pickle ├── task_87_is-squares.pickle ├── task_88_keep-mod-head.pickle ├── task_89_keep-mod-k with k=2.pickle ├── task_8_append-index-k with k=4.pickle ├── task_90_keep-mod-k with k=3.pickle ├── task_91_keep-mod-k with k=4.pickle ├── task_92_keep-mod-k with k=5.pickle ├── task_93_kth-largest with k=1.pickle ├── task_94_kth-largest with k=2.pickle ├── task_95_kth-largest with k=3.pickle ├── task_96_kth-largest with k=4.pickle ├── task_97_kth-largest with k=5.pickle ├── task_98_kth-smallest with k=1.pickle ├── task_99_kth-smallest with k=2.pickle └── task_9_append-index-k with k=5.pickle ├── main_figure.png ├── model_loader.py ├── pcfg.py ├── pcfg_logprob.py ├── plot_results_semantic.py ├── produce_network.py ├── program.py ├── program_as_list.py ├── requirements.txt ├── results_semantics ├── algo_DFS_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv ├── algo_Heap Search_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv ├── algo_SQRT_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv ├── algo_Sort & Add_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv └── algo_Threshold_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv ├── results_syntactic ├── time_vs_number_programs_Heap Search_1_splits2.csv ├── time_vs_number_programs_Heap Search_1_splits6.csv ├── time_vs_number_programs_SQRT_1_splits2.csv └── time_vs_number_programs_SQRT_1_splits6.csv ├── run_comparison_heapsearch_astar.py ├── run_experiment.py ├── run_experiment_heapsearch_evolution.py ├── run_experiments_deepcoder.py ├── run_experiments_dreamcoder.py ├── run_experiments_dreamcoder_parallel.py ├── run_experiments_flashfill.py ├── run_randomPCFG_search.py ├── run_randomPCFG_search_parallel.py ├── sygus.svg ├── type_system.py ├── unit_tests_algorithms.py ├── unit_tests_compilation.py ├── unit_tests_parallel.py ├── unit_tests_predictions.py └── unit_tests_programs.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/.gitignore -------------------------------------------------------------------------------- /Algorithms/a_star.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/a_star.py -------------------------------------------------------------------------------- /Algorithms/bfs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/bfs.py -------------------------------------------------------------------------------- /Algorithms/dfs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/dfs.py -------------------------------------------------------------------------------- /Algorithms/heap_search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/heap_search.py -------------------------------------------------------------------------------- /Algorithms/heap_search_naive.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/heap_search_naive.py -------------------------------------------------------------------------------- /Algorithms/hybrid.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/hybrid.py -------------------------------------------------------------------------------- /Algorithms/parallel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/parallel.py -------------------------------------------------------------------------------- /Algorithms/ray_parallel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/ray_parallel.py -------------------------------------------------------------------------------- /Algorithms/sort_and_add.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/sort_and_add.py -------------------------------------------------------------------------------- /Algorithms/sqrt_sampling.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/sqrt_sampling.py -------------------------------------------------------------------------------- /Algorithms/threshold_search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Algorithms/threshold_search.py -------------------------------------------------------------------------------- /DSL/circuits.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/DSL/circuits.py -------------------------------------------------------------------------------- /DSL/deepcoder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/DSL/deepcoder.py -------------------------------------------------------------------------------- /DSL/flashfill.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/DSL/flashfill.py -------------------------------------------------------------------------------- /DSL/list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/DSL/list.py -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/LICENSE -------------------------------------------------------------------------------- /Predictions/IOencodings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Predictions/IOencodings.py -------------------------------------------------------------------------------- /Predictions/dataset_sampler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Predictions/dataset_sampler.py -------------------------------------------------------------------------------- /Predictions/embeddings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Predictions/embeddings.py -------------------------------------------------------------------------------- /Predictions/models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/Predictions/models.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/README.md -------------------------------------------------------------------------------- /cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/cfg.py -------------------------------------------------------------------------------- /cons_list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/cons_list.py -------------------------------------------------------------------------------- /deepcoder_dataset_loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/deepcoder_dataset_loader.py -------------------------------------------------------------------------------- /dreamcoder_dataset_loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/dreamcoder_dataset_loader.py -------------------------------------------------------------------------------- /dsl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/dsl.py -------------------------------------------------------------------------------- /experiment_helper.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/experiment_helper.py -------------------------------------------------------------------------------- /fixed+rnn+global_deepcoder.weights: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/fixed+rnn+global_deepcoder.weights -------------------------------------------------------------------------------- /fixed+rnn+global_dreamcoder.weights: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/fixed+rnn+global_dreamcoder.weights -------------------------------------------------------------------------------- /flashfill_dataset/bikes-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/bikes-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/bikes-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/bikes-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/bikes.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/bikes.sl -------------------------------------------------------------------------------- /flashfill_dataset/bikes_small.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/bikes_small.sl -------------------------------------------------------------------------------- /flashfill_dataset/dr-name-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/dr-name-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/dr-name-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/dr-name-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/dr-name.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/dr-name.sl -------------------------------------------------------------------------------- /flashfill_dataset/dr-name_small.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/dr-name_small.sl -------------------------------------------------------------------------------- /flashfill_dataset/firstname-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/firstname-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/firstname-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/firstname-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/firstname.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/firstname.sl -------------------------------------------------------------------------------- /flashfill_dataset/firstname_small.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/firstname_small.sl -------------------------------------------------------------------------------- /flashfill_dataset/initials-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/initials-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/initials-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/initials-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/initials.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/initials.sl -------------------------------------------------------------------------------- /flashfill_dataset/initials_small.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/initials_small.sl -------------------------------------------------------------------------------- /flashfill_dataset/lastname-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/lastname-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/lastname-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/lastname-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/lastname.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/lastname.sl -------------------------------------------------------------------------------- /flashfill_dataset/lastname_small.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/lastname_small.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-2-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-2-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-2-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-2-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-2.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-2_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-2_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-3-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-3-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-3-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-3-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-3.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-3_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-3_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-4-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-4-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-4-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-4-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-4.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-4_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-4_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine.sl -------------------------------------------------------------------------------- /flashfill_dataset/name-combine_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/name-combine_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-1-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-1-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-1-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-1-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-1.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-10-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-10-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-10-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-10-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-10.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-10.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-10_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-10_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-1_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-1_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-2-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-2-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-2-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-2-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-2.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-2_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-2_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-3-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-3-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-3-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-3-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-3.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-3_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-3_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-4-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-4-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-4-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-4-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-4.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-4_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-4_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-5-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-5-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-5-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-5-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-5.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-5_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-5_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-6-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-6-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-6-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-6-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-6.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-6_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-6_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-7-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-7-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-7-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-7-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-7.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-7.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-7_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-7_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-8-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-8-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-8-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-8-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-8.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-8.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-8_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-8_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-9-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-9-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-9-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-9-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-9.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-9.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-9_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-9_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone.sl -------------------------------------------------------------------------------- /flashfill_dataset/phone_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/phone_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/reverse-name-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/reverse-name-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/reverse-name-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/reverse-name-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/reverse-name.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/reverse-name.sl -------------------------------------------------------------------------------- /flashfill_dataset/reverse-name_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/reverse-name_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_1-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_1-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_1-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_1-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_1.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_1.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_1_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_1_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_2-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_2-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_2-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_2-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_2.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_2.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_2_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_2_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_3-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_3-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_3-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_3-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_3.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_3.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_3_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_3_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_4-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_4-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_4-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_4-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_4.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_4.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_4_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_4_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_5-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_5-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_5-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_5-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_5.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_5.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_5_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_5_short.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_6-long-repeat.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_6-long-repeat.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_6-long.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_6-long.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_6.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_6.sl -------------------------------------------------------------------------------- /flashfill_dataset/univ_6_short.sl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset/univ_6_short.sl -------------------------------------------------------------------------------- /flashfill_dataset_loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/flashfill_dataset_loader.py -------------------------------------------------------------------------------- /grammar_splitter.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/grammar_splitter.py -------------------------------------------------------------------------------- /list_dataset/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/README -------------------------------------------------------------------------------- /list_dataset/task_0_add-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_0_add-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_100_kth-smallest with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_100_kth-smallest with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_101_kth-smallest with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_101_kth-smallest with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_102_kth-smallest with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_102_kth-smallest with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_103_last.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_103_last.pickle -------------------------------------------------------------------------------- /list_dataset/task_104_len.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_104_len.pickle -------------------------------------------------------------------------------- /list_dataset/task_105_max.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_105_max.pickle -------------------------------------------------------------------------------- /list_dataset/task_106_min.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_106_min.pickle -------------------------------------------------------------------------------- /list_dataset/task_107_modulo-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_107_modulo-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_108_modulo-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_108_modulo-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_109_modulo-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_109_modulo-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_10_append-k with k=0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_10_append-k with k=0.pickle -------------------------------------------------------------------------------- /list_dataset/task_110_modulo-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_110_modulo-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_111_modulo-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_111_modulo-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_112_mult-k with k=0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_112_mult-k with k=0.pickle -------------------------------------------------------------------------------- /list_dataset/task_113_mult-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_113_mult-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_114_mult-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_114_mult-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_115_mult-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_115_mult-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_116_mult-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_116_mult-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_117_odds.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_117_odds.pickle -------------------------------------------------------------------------------- /list_dataset/task_118_pop.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_118_pop.pickle -------------------------------------------------------------------------------- /list_dataset/task_119_pow-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_119_pow-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_11_append-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_11_append-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_120_pow-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_120_pow-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_121_pow-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_121_pow-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_122_pow-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_122_pow-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_123_prepend-index-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_123_prepend-index-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_124_prepend-index-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_124_prepend-index-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_125_prepend-index-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_125_prepend-index-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_126_prepend-index-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_126_prepend-index-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_127_prepend-index-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_127_prepend-index-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_128_prepend-k with k=0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_128_prepend-k with k=0.pickle -------------------------------------------------------------------------------- /list_dataset/task_129_prepend-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_129_prepend-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_12_append-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_12_append-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_130_prepend-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_130_prepend-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_131_prepend-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_131_prepend-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_132_prepend-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_132_prepend-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_133_prepend-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_133_prepend-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_134_product.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_134_product.pickle -------------------------------------------------------------------------------- /list_dataset/task_135_range.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_135_range.pickle -------------------------------------------------------------------------------- /list_dataset/task_136_remove-index-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_136_remove-index-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_137_remove-index-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_137_remove-index-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_138_remove-index-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_138_remove-index-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_139_remove-index-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_139_remove-index-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_13_append-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_13_append-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_140_remove-index-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_140_remove-index-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_141_remove-mod-head.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_141_remove-mod-head.pickle -------------------------------------------------------------------------------- /list_dataset/task_142_remove-mod-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_142_remove-mod-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_143_remove-mod-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_143_remove-mod-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_144_remove-mod-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_144_remove-mod-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_145_remove-mod-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_145_remove-mod-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_146_repeat.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_146_repeat.pickle -------------------------------------------------------------------------------- /list_dataset/task_147_repeat-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_147_repeat-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_148_repeat-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_148_repeat-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_149_repeat-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_149_repeat-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_14_append-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_14_append-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_150_repeat-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_150_repeat-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_151_repeat-many.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_151_repeat-many.pickle -------------------------------------------------------------------------------- /list_dataset/task_152_replace-all-with-index-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_152_replace-all-with-index-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_153_replace-all-with-index-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_153_replace-all-with-index-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_154_replace-all-with-index-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_154_replace-all-with-index-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_155_replace-all-with-index-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_155_replace-all-with-index-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_156_replace-all-with-index-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_156_replace-all-with-index-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_157_reverse.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_157_reverse.pickle -------------------------------------------------------------------------------- /list_dataset/task_158_rotate-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_158_rotate-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_159_rotate-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_159_rotate-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_15_append-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_15_append-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_160_rotate-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_160_rotate-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_161_rotate-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_161_rotate-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_162_rotate-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_162_rotate-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_163_slice-k-n with k=1 and n=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_163_slice-k-n with k=1 and n=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_164_slice-k-n with k=1 and n=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_164_slice-k-n with k=1 and n=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_165_slice-k-n with k=1 and n=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_165_slice-k-n with k=1 and n=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_166_slice-k-n with k=1 and n=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_166_slice-k-n with k=1 and n=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_167_slice-k-n with k=1 and n=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_167_slice-k-n with k=1 and n=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_168_slice-k-n with k=2 and n=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_168_slice-k-n with k=2 and n=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_169_slice-k-n with k=2 and n=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_169_slice-k-n with k=2 and n=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_16_bool-identify-geq-k with k=0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_16_bool-identify-geq-k with k=0.pickle -------------------------------------------------------------------------------- /list_dataset/task_170_slice-k-n with k=2 and n=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_170_slice-k-n with k=2 and n=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_171_slice-k-n with k=2 and n=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_171_slice-k-n with k=2 and n=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_172_slice-k-n with k=2 and n=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_172_slice-k-n with k=2 and n=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_173_slice-k-n with k=3 and n=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_173_slice-k-n with k=3 and n=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_174_slice-k-n with k=3 and n=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_174_slice-k-n with k=3 and n=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_175_slice-k-n with k=3 and n=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_175_slice-k-n with k=3 and n=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_176_slice-k-n with k=3 and n=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_176_slice-k-n with k=3 and n=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_177_slice-k-n with k=3 and n=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_177_slice-k-n with k=3 and n=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_178_slice-k-n with k=4 and n=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_178_slice-k-n with k=4 and n=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_179_slice-k-n with k=4 and n=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_179_slice-k-n with k=4 and n=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_17_bool-identify-geq-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_17_bool-identify-geq-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_180_slice-k-n with k=4 and n=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_180_slice-k-n with k=4 and n=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_181_slice-k-n with k=4 and n=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_181_slice-k-n with k=4 and n=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_182_slice-k-n with k=4 and n=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_182_slice-k-n with k=4 and n=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_183_slice-k-n with k=5 and n=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_183_slice-k-n with k=5 and n=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_184_slice-k-n with k=5 and n=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_184_slice-k-n with k=5 and n=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_185_slice-k-n with k=5 and n=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_185_slice-k-n with k=5 and n=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_186_slice-k-n with k=5 and n=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_186_slice-k-n with k=5 and n=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_187_slice-k-n with k=5 and n=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_187_slice-k-n with k=5 and n=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_188_sort.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_188_sort.pickle -------------------------------------------------------------------------------- /list_dataset/task_189_sum.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_189_sum.pickle -------------------------------------------------------------------------------- /list_dataset/task_18_bool-identify-geq-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_18_bool-identify-geq-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_190_tail.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_190_tail.pickle -------------------------------------------------------------------------------- /list_dataset/task_191_take-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_191_take-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_192_take-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_192_take-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_193_take-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_193_take-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_194_take-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_194_take-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_195_take-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_195_take-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_196_sort-and-deduplicate.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_196_sort-and-deduplicate.pickle -------------------------------------------------------------------------------- /list_dataset/task_197_+1 maximum list.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_197_+1 maximum list.pickle -------------------------------------------------------------------------------- /list_dataset/task_198_range +1 maximum list.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_198_range +1 maximum list.pickle -------------------------------------------------------------------------------- /list_dataset/task_199_remove empty lists.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_199_remove empty lists.pickle -------------------------------------------------------------------------------- /list_dataset/task_19_bool-identify-geq-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_19_bool-identify-geq-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_1_add-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_1_add-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_200_keep squares.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_200_keep squares.pickle -------------------------------------------------------------------------------- /list_dataset/task_201_keep primes.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_201_keep primes.pickle -------------------------------------------------------------------------------- /list_dataset/task_202_keep eq 0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_202_keep eq 0.pickle -------------------------------------------------------------------------------- /list_dataset/task_203_remove eq 0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_203_remove eq 0.pickle -------------------------------------------------------------------------------- /list_dataset/task_204_keep gt 0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_204_keep gt 0.pickle -------------------------------------------------------------------------------- /list_dataset/task_205_remove gt 0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_205_remove gt 0.pickle -------------------------------------------------------------------------------- /list_dataset/task_206_keep eq 1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_206_keep eq 1.pickle -------------------------------------------------------------------------------- /list_dataset/task_207_remove eq 1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_207_remove eq 1.pickle -------------------------------------------------------------------------------- /list_dataset/task_208_keep gt 1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_208_keep gt 1.pickle -------------------------------------------------------------------------------- /list_dataset/task_209_remove gt 1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_209_remove gt 1.pickle -------------------------------------------------------------------------------- /list_dataset/task_20_bool-identify-geq-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_20_bool-identify-geq-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_210_keep eq 2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_210_keep eq 2.pickle -------------------------------------------------------------------------------- /list_dataset/task_211_remove eq 2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_211_remove eq 2.pickle -------------------------------------------------------------------------------- /list_dataset/task_212_keep gt 2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_212_keep gt 2.pickle -------------------------------------------------------------------------------- /list_dataset/task_213_remove gt 2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_213_remove gt 2.pickle -------------------------------------------------------------------------------- /list_dataset/task_214_keep eq 3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_214_keep eq 3.pickle -------------------------------------------------------------------------------- /list_dataset/task_215_remove eq 3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_215_remove eq 3.pickle -------------------------------------------------------------------------------- /list_dataset/task_216_keep gt 3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_216_keep gt 3.pickle -------------------------------------------------------------------------------- /list_dataset/task_217_remove gt 3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_217_remove gt 3.pickle -------------------------------------------------------------------------------- /list_dataset/task_21_bool-identify-geq-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_21_bool-identify-geq-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_22_bool-identify-is-mod-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_22_bool-identify-is-mod-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_23_bool-identify-is-mod-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_23_bool-identify-is-mod-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_24_bool-identify-is-mod-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_24_bool-identify-is-mod-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_25_bool-identify-is-mod-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_25_bool-identify-is-mod-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_26_bool-identify-is-mod-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_26_bool-identify-is-mod-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_27_bool-identify-is-prime.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_27_bool-identify-is-prime.pickle -------------------------------------------------------------------------------- /list_dataset/task_28_bool-identify-k with k=0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_28_bool-identify-k with k=0.pickle -------------------------------------------------------------------------------- /list_dataset/task_29_bool-identify-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_29_bool-identify-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_2_add-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_2_add-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_30_bool-identify-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_30_bool-identify-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_31_bool-identify-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_31_bool-identify-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_32_bool-identify-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_32_bool-identify-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_33_bool-identify-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_33_bool-identify-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_34_caesar-cipher-k-modulo-n with k=1 and n=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_34_caesar-cipher-k-modulo-n with k=1 and n=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_35_caesar-cipher-k-modulo-n with k=1 and n=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_35_caesar-cipher-k-modulo-n with k=1 and n=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_36_caesar-cipher-k-modulo-n with k=1 and n=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_36_caesar-cipher-k-modulo-n with k=1 and n=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_37_caesar-cipher-k-modulo-n with k=1 and n=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_37_caesar-cipher-k-modulo-n with k=1 and n=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_38_caesar-cipher-k-modulo-n with k=2 and n=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_38_caesar-cipher-k-modulo-n with k=2 and n=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_39_caesar-cipher-k-modulo-n with k=2 and n=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_39_caesar-cipher-k-modulo-n with k=2 and n=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_3_add-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_3_add-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_40_caesar-cipher-k-modulo-n with k=2 and n=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_40_caesar-cipher-k-modulo-n with k=2 and n=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_41_caesar-cipher-k-modulo-n with k=3 and n=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_41_caesar-cipher-k-modulo-n with k=3 and n=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_42_caesar-cipher-k-modulo-n with k=3 and n=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_42_caesar-cipher-k-modulo-n with k=3 and n=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_43_caesar-cipher-k-modulo-n with k=3 and n=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_43_caesar-cipher-k-modulo-n with k=3 and n=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_44_caesar-cipher-k-modulo-n with k=4 and n=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_44_caesar-cipher-k-modulo-n with k=4 and n=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_45_caesar-cipher-k-modulo-n with k=4 and n=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_45_caesar-cipher-k-modulo-n with k=4 and n=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_46_caesar-cipher-k-modulo-n with k=5 and n=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_46_caesar-cipher-k-modulo-n with k=5 and n=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_47_caesar-cipher-k-modulo-n with k=5 and n=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_47_caesar-cipher-k-modulo-n with k=5 and n=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_48_caesar-cipher-k-modulo-n with k=5 and n=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_48_caesar-cipher-k-modulo-n with k=5 and n=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_49_count-head-in-tail.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_49_count-head-in-tail.pickle -------------------------------------------------------------------------------- /list_dataset/task_4_add-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_4_add-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_50_count-k with k=0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_50_count-k with k=0.pickle -------------------------------------------------------------------------------- /list_dataset/task_51_count-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_51_count-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_52_count-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_52_count-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_53_count-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_53_count-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_54_count-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_54_count-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_55_count-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_55_count-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_56_drop-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_56_drop-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_57_drop-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_57_drop-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_58_drop-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_58_drop-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_59_drop-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_59_drop-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_5_append-index-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_5_append-index-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_60_drop-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_60_drop-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_61_dup.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_61_dup.pickle -------------------------------------------------------------------------------- /list_dataset/task_62_empty.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_62_empty.pickle -------------------------------------------------------------------------------- /list_dataset/task_63_evens.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_63_evens.pickle -------------------------------------------------------------------------------- /list_dataset/task_64_fibonacci.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_64_fibonacci.pickle -------------------------------------------------------------------------------- /list_dataset/task_65_has-head-in-tail.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_65_has-head-in-tail.pickle -------------------------------------------------------------------------------- /list_dataset/task_66_has-k with k=0.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_66_has-k with k=0.pickle -------------------------------------------------------------------------------- /list_dataset/task_67_has-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_67_has-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_68_has-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_68_has-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_69_has-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_69_has-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_6_append-index-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_6_append-index-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_70_has-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_70_has-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_71_has-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_71_has-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_72_head.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_72_head.pickle -------------------------------------------------------------------------------- /list_dataset/task_73_index-head.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_73_index-head.pickle -------------------------------------------------------------------------------- /list_dataset/task_74_index-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_74_index-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_75_index-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_75_index-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_76_index-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_76_index-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_77_index-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_77_index-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_78_index-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_78_index-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_79_is-evens.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_79_is-evens.pickle -------------------------------------------------------------------------------- /list_dataset/task_7_append-index-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_7_append-index-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_80_is-mod-k with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_80_is-mod-k with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_81_is-mod-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_81_is-mod-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_82_is-mod-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_82_is-mod-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_83_is-mod-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_83_is-mod-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_84_is-mod-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_84_is-mod-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_85_is-odds.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_85_is-odds.pickle -------------------------------------------------------------------------------- /list_dataset/task_86_is-primes.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_86_is-primes.pickle -------------------------------------------------------------------------------- /list_dataset/task_87_is-squares.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_87_is-squares.pickle -------------------------------------------------------------------------------- /list_dataset/task_88_keep-mod-head.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_88_keep-mod-head.pickle -------------------------------------------------------------------------------- /list_dataset/task_89_keep-mod-k with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_89_keep-mod-k with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_8_append-index-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_8_append-index-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_90_keep-mod-k with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_90_keep-mod-k with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_91_keep-mod-k with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_91_keep-mod-k with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_92_keep-mod-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_92_keep-mod-k with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_93_kth-largest with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_93_kth-largest with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_94_kth-largest with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_94_kth-largest with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_95_kth-largest with k=3.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_95_kth-largest with k=3.pickle -------------------------------------------------------------------------------- /list_dataset/task_96_kth-largest with k=4.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_96_kth-largest with k=4.pickle -------------------------------------------------------------------------------- /list_dataset/task_97_kth-largest with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_97_kth-largest with k=5.pickle -------------------------------------------------------------------------------- /list_dataset/task_98_kth-smallest with k=1.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_98_kth-smallest with k=1.pickle -------------------------------------------------------------------------------- /list_dataset/task_99_kth-smallest with k=2.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_99_kth-smallest with k=2.pickle -------------------------------------------------------------------------------- /list_dataset/task_9_append-index-k with k=5.pickle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/list_dataset/task_9_append-index-k with k=5.pickle -------------------------------------------------------------------------------- /main_figure.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/main_figure.png -------------------------------------------------------------------------------- /model_loader.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/model_loader.py -------------------------------------------------------------------------------- /pcfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/pcfg.py -------------------------------------------------------------------------------- /pcfg_logprob.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/pcfg_logprob.py -------------------------------------------------------------------------------- /plot_results_semantic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/plot_results_semantic.py -------------------------------------------------------------------------------- /produce_network.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/produce_network.py -------------------------------------------------------------------------------- /program.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/program.py -------------------------------------------------------------------------------- /program_as_list.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/program_as_list.py -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/requirements.txt -------------------------------------------------------------------------------- /results_semantics/algo_DFS_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/results_semantics/algo_DFS_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv -------------------------------------------------------------------------------- /results_semantics/algo_Heap Search_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/results_semantics/algo_Heap Search_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv -------------------------------------------------------------------------------- /results_semantics/algo_SQRT_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/results_semantics/algo_SQRT_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv -------------------------------------------------------------------------------- /results_semantics/algo_Sort & Add_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/results_semantics/algo_Sort & Add_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv -------------------------------------------------------------------------------- /results_semantics/algo_Threshold_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/results_semantics/algo_Threshold_model_fixed+rnn+global_dataset_dreamcoder_results_semantic.csv -------------------------------------------------------------------------------- /results_syntactic/time_vs_number_programs_Heap Search_1_splits2.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/results_syntactic/time_vs_number_programs_Heap Search_1_splits2.csv -------------------------------------------------------------------------------- /results_syntactic/time_vs_number_programs_Heap Search_1_splits6.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/results_syntactic/time_vs_number_programs_Heap Search_1_splits6.csv -------------------------------------------------------------------------------- /results_syntactic/time_vs_number_programs_SQRT_1_splits2.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/results_syntactic/time_vs_number_programs_SQRT_1_splits2.csv -------------------------------------------------------------------------------- /results_syntactic/time_vs_number_programs_SQRT_1_splits6.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/results_syntactic/time_vs_number_programs_SQRT_1_splits6.csv -------------------------------------------------------------------------------- /run_comparison_heapsearch_astar.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/run_comparison_heapsearch_astar.py -------------------------------------------------------------------------------- /run_experiment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/run_experiment.py -------------------------------------------------------------------------------- /run_experiment_heapsearch_evolution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/run_experiment_heapsearch_evolution.py -------------------------------------------------------------------------------- /run_experiments_deepcoder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/run_experiments_deepcoder.py -------------------------------------------------------------------------------- /run_experiments_dreamcoder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/run_experiments_dreamcoder.py -------------------------------------------------------------------------------- /run_experiments_dreamcoder_parallel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/run_experiments_dreamcoder_parallel.py -------------------------------------------------------------------------------- /run_experiments_flashfill.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/run_experiments_flashfill.py -------------------------------------------------------------------------------- /run_randomPCFG_search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/run_randomPCFG_search.py -------------------------------------------------------------------------------- /run_randomPCFG_search_parallel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/run_randomPCFG_search_parallel.py -------------------------------------------------------------------------------- /sygus.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/sygus.svg -------------------------------------------------------------------------------- /type_system.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/type_system.py -------------------------------------------------------------------------------- /unit_tests_algorithms.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/unit_tests_algorithms.py -------------------------------------------------------------------------------- /unit_tests_compilation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/unit_tests_compilation.py -------------------------------------------------------------------------------- /unit_tests_parallel.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/unit_tests_parallel.py -------------------------------------------------------------------------------- /unit_tests_predictions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/unit_tests_predictions.py -------------------------------------------------------------------------------- /unit_tests_programs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nathanael-fijalkow/DeepSynth/HEAD/unit_tests_programs.py --------------------------------------------------------------------------------