├── .gitignore ├── LICENSE ├── README.md ├── code-of-conduct.md ├── contributing.md ├── eval_config.py ├── lambdabeam-model.ckpt ├── lambdabeam ├── __init__.py ├── algorithm │ ├── __init__.py │ ├── baseline_enumeration.py │ ├── baseline_enumeration_test.py │ ├── beam_search.py │ ├── property_signatures.py │ ├── property_signatures_test.py │ ├── synthesis.py │ └── variables.py ├── common │ ├── __init__.py │ ├── config.py │ ├── configs_all.py │ └── consts.py ├── data │ ├── __init__.py │ └── deepcoder │ │ ├── __init__.py │ │ ├── deepcoder_tasks.py │ │ ├── deepcoder_tasks_test.py │ │ ├── evaluate_held_out.py │ │ ├── generate_held_out_test_cases.py │ │ ├── held_out_test_cases.json │ │ ├── solution_weight.py │ │ ├── solution_weight_test.py │ │ └── tasks_analysis.py ├── datasets │ ├── __init__.py │ ├── bottom_up_data_generation.py │ ├── bottom_up_data_generation_logic.py │ ├── bottom_up_data_generation_test.py │ ├── bottom_up_logic_test_data.py │ ├── bustle_data.py │ ├── bustle_data_test.py │ ├── clean_logic.py │ ├── convert_old_json.py │ ├── data_gen.py │ ├── data_gen_flags.py │ ├── data_gen_test.py │ ├── deepcoder_data.py │ ├── deepcoder_data_test.py │ ├── filter_training_data.py │ ├── launch_xm_deepcoder_gen.sh │ ├── logic_baseline.py │ ├── logic_data.py │ ├── make_shards.py │ ├── random_data.py │ ├── random_data_test.py │ ├── run_arith_eval_gen.sh │ ├── run_bustle_gen.sh │ ├── run_deepcoder_gen.sh │ ├── run_logic_clean_and_shard.sh │ ├── run_logic_gen.sh │ └── run_tuple_eval_gen.sh ├── dsl │ ├── __init__.py │ ├── arithmetic_operations.py │ ├── bustle_operations.py │ ├── bustle_operations_test.py │ ├── checker.py │ ├── checker_test.py │ ├── deepcoder_operations.py │ ├── deepcoder_operations_test.py │ ├── deepcoder_utils.py │ ├── deepcoder_utils_test.py │ ├── domains.py │ ├── logic_operations.py │ ├── operation_base.py │ ├── operation_base_test.py │ ├── task.py │ ├── tuple_operations.py │ └── value.py ├── experiment │ ├── __init__.py │ ├── arithmetic_synthesis │ │ ├── __init__.py │ │ └── arithmetic_main_dist.sh │ ├── bustle │ │ ├── __init__.py │ │ └── bustle_main_dist.sh │ ├── deepcoder │ │ ├── __init__.py │ │ ├── configs │ │ │ ├── __init__.py │ │ │ ├── exp_curriculum_gpu1.py │ │ │ ├── exp_curriculum_multigpu.py │ │ │ ├── exp_multigpu.py │ │ │ └── exp_singlegpu.py │ │ └── eval.sh │ ├── exp_common.py │ ├── launch_xm_train.sh │ ├── logic_synthesis │ │ └── dist_run_logic.sh │ ├── run_baseline_synthesizer.py │ ├── run_baseline_synthesizer_handwritten_tasks.py │ ├── run_baseline_synthesizer_test.py │ ├── run_handwritten_baseline.sh │ ├── run_lambdabeam.py │ ├── run_lambdabeam_test.py │ ├── task_iterator.py │ ├── train_eval.py │ └── tuple_synthesis │ │ ├── __init__.py │ │ └── tuple_main_dist.sh ├── model │ ├── __init__.py │ ├── base.py │ ├── deepcoder_model.py │ ├── encoder.py │ ├── great.py │ ├── joint_model.py │ ├── logic_model.py │ ├── op_arg.py │ ├── op_init.py │ └── util.py ├── property_signatures │ ├── __init__.py │ ├── adhoc_test.py │ ├── eval_property_signatures.py │ ├── property_signatures.py │ └── property_signatures_test.py ├── requirements.txt ├── unique_randomizer │ ├── __init__.py │ └── unique_randomizer.py ├── xm_datagen.py └── xm_train.py ├── results └── neurips23 │ ├── handwritten │ ├── enumeration │ │ ├── handwritten_baseline_enumeration_timeout600_shuffleops.run0.json │ │ ├── handwritten_baseline_enumeration_timeout600_shuffleops.run1.json │ │ ├── handwritten_baseline_enumeration_timeout600_shuffleops.run2.json │ │ ├── handwritten_baseline_enumeration_timeout600_shuffleops.run3.json │ │ └── handwritten_baseline_enumeration_timeout600_shuffleops.run4.json │ ├── lambda_squared.json │ ├── lambdabeam │ │ ├── results.handwritten.ur.timeout600-0.run0.json │ │ ├── results.handwritten.ur.timeout600-0.run1.json │ │ ├── results.handwritten.ur.timeout600-0.run2.json │ │ ├── results.handwritten.ur.timeout600-0.run3.json │ │ ├── results.handwritten.ur.timeout600-0.run4.json │ │ ├── results.handwritten.ur.timeout600-6.run0.json │ │ ├── results.handwritten.ur.timeout600-6.run1.json │ │ ├── results.handwritten.ur.timeout600-6.run2.json │ │ ├── results.handwritten.ur.timeout600-6.run3.json │ │ └── results.handwritten.ur.timeout600-6.run4.json │ └── robustfill │ │ ├── trial-1-hc.json │ │ ├── trial-2-hc.json │ │ ├── trial-3-hc.json │ │ ├── trial-4-hc.json │ │ └── trial-5-hc.json │ └── synthetic │ ├── enumeration │ ├── synthetic_baseline_enumeration_timeout600_shuffleops.run0.json │ ├── synthetic_baseline_enumeration_timeout600_shuffleops.run1.json │ ├── synthetic_baseline_enumeration_timeout600_shuffleops.run2.json │ ├── synthetic_baseline_enumeration_timeout600_shuffleops.run3.json │ └── synthetic_baseline_enumeration_timeout600_shuffleops.run4.json │ ├── lambda_squared.json │ ├── lambdabeam │ ├── results.synthetic.ur.timeout600-0.run0.json │ ├── results.synthetic.ur.timeout600-0.run1.json │ ├── results.synthetic.ur.timeout600-0.run2.json │ ├── results.synthetic.ur.timeout600-0.run3.json │ ├── results.synthetic.ur.timeout600-0.run4.json │ ├── results.synthetic.ur.timeout600-30.run0.json │ ├── results.synthetic.ur.timeout600-30.run1.json │ ├── results.synthetic.ur.timeout600-30.run2.json │ ├── results.synthetic.ur.timeout600-30.run3.json │ └── results.synthetic.ur.timeout600-30.run4.json │ └── robustfill │ ├── trial-1-syn.json │ ├── trial-2-syn.json │ ├── trial-3-syn.json │ ├── trial-4-syn.json │ └── trial-5-syn.json ├── run_lambdabeam.sh └── setup.py /.gitignore: -------------------------------------------------------------------------------- 1 | __pycache__/ 2 | *.egg-info/ 3 | .DS_Store 4 | .vscode/ 5 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/README.md -------------------------------------------------------------------------------- /code-of-conduct.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/code-of-conduct.md -------------------------------------------------------------------------------- /contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/contributing.md -------------------------------------------------------------------------------- /eval_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/eval_config.py -------------------------------------------------------------------------------- /lambdabeam-model.ckpt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam-model.ckpt -------------------------------------------------------------------------------- /lambdabeam/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lambdabeam/algorithm/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/algorithm/__init__.py -------------------------------------------------------------------------------- /lambdabeam/algorithm/baseline_enumeration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/algorithm/baseline_enumeration.py -------------------------------------------------------------------------------- /lambdabeam/algorithm/baseline_enumeration_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/algorithm/baseline_enumeration_test.py -------------------------------------------------------------------------------- /lambdabeam/algorithm/beam_search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/algorithm/beam_search.py -------------------------------------------------------------------------------- /lambdabeam/algorithm/property_signatures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/algorithm/property_signatures.py -------------------------------------------------------------------------------- /lambdabeam/algorithm/property_signatures_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/algorithm/property_signatures_test.py -------------------------------------------------------------------------------- /lambdabeam/algorithm/synthesis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/algorithm/synthesis.py -------------------------------------------------------------------------------- /lambdabeam/algorithm/variables.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/algorithm/variables.py -------------------------------------------------------------------------------- /lambdabeam/common/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/common/__init__.py -------------------------------------------------------------------------------- /lambdabeam/common/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/common/config.py -------------------------------------------------------------------------------- /lambdabeam/common/configs_all.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/common/configs_all.py -------------------------------------------------------------------------------- /lambdabeam/common/consts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/common/consts.py -------------------------------------------------------------------------------- /lambdabeam/data/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lambdabeam/data/deepcoder/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lambdabeam/data/deepcoder/deepcoder_tasks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/data/deepcoder/deepcoder_tasks.py -------------------------------------------------------------------------------- /lambdabeam/data/deepcoder/deepcoder_tasks_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/data/deepcoder/deepcoder_tasks_test.py -------------------------------------------------------------------------------- /lambdabeam/data/deepcoder/evaluate_held_out.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/data/deepcoder/evaluate_held_out.py -------------------------------------------------------------------------------- /lambdabeam/data/deepcoder/generate_held_out_test_cases.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/data/deepcoder/generate_held_out_test_cases.py -------------------------------------------------------------------------------- /lambdabeam/data/deepcoder/held_out_test_cases.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/data/deepcoder/held_out_test_cases.json -------------------------------------------------------------------------------- /lambdabeam/data/deepcoder/solution_weight.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/data/deepcoder/solution_weight.py -------------------------------------------------------------------------------- /lambdabeam/data/deepcoder/solution_weight_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/data/deepcoder/solution_weight_test.py -------------------------------------------------------------------------------- /lambdabeam/data/deepcoder/tasks_analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/data/deepcoder/tasks_analysis.py -------------------------------------------------------------------------------- /lambdabeam/datasets/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/__init__.py -------------------------------------------------------------------------------- /lambdabeam/datasets/bottom_up_data_generation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/bottom_up_data_generation.py -------------------------------------------------------------------------------- /lambdabeam/datasets/bottom_up_data_generation_logic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/bottom_up_data_generation_logic.py -------------------------------------------------------------------------------- /lambdabeam/datasets/bottom_up_data_generation_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/bottom_up_data_generation_test.py -------------------------------------------------------------------------------- /lambdabeam/datasets/bottom_up_logic_test_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/bottom_up_logic_test_data.py -------------------------------------------------------------------------------- /lambdabeam/datasets/bustle_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/bustle_data.py -------------------------------------------------------------------------------- /lambdabeam/datasets/bustle_data_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/bustle_data_test.py -------------------------------------------------------------------------------- /lambdabeam/datasets/clean_logic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/clean_logic.py -------------------------------------------------------------------------------- /lambdabeam/datasets/convert_old_json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/convert_old_json.py -------------------------------------------------------------------------------- /lambdabeam/datasets/data_gen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/data_gen.py -------------------------------------------------------------------------------- /lambdabeam/datasets/data_gen_flags.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/data_gen_flags.py -------------------------------------------------------------------------------- /lambdabeam/datasets/data_gen_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/data_gen_test.py -------------------------------------------------------------------------------- /lambdabeam/datasets/deepcoder_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/deepcoder_data.py -------------------------------------------------------------------------------- /lambdabeam/datasets/deepcoder_data_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/deepcoder_data_test.py -------------------------------------------------------------------------------- /lambdabeam/datasets/filter_training_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/filter_training_data.py -------------------------------------------------------------------------------- /lambdabeam/datasets/launch_xm_deepcoder_gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/launch_xm_deepcoder_gen.sh -------------------------------------------------------------------------------- /lambdabeam/datasets/logic_baseline.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/logic_baseline.py -------------------------------------------------------------------------------- /lambdabeam/datasets/logic_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/logic_data.py -------------------------------------------------------------------------------- /lambdabeam/datasets/make_shards.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/make_shards.py -------------------------------------------------------------------------------- /lambdabeam/datasets/random_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/random_data.py -------------------------------------------------------------------------------- /lambdabeam/datasets/random_data_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/random_data_test.py -------------------------------------------------------------------------------- /lambdabeam/datasets/run_arith_eval_gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/run_arith_eval_gen.sh -------------------------------------------------------------------------------- /lambdabeam/datasets/run_bustle_gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/run_bustle_gen.sh -------------------------------------------------------------------------------- /lambdabeam/datasets/run_deepcoder_gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/run_deepcoder_gen.sh -------------------------------------------------------------------------------- /lambdabeam/datasets/run_logic_clean_and_shard.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/run_logic_clean_and_shard.sh -------------------------------------------------------------------------------- /lambdabeam/datasets/run_logic_gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/run_logic_gen.sh -------------------------------------------------------------------------------- /lambdabeam/datasets/run_tuple_eval_gen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/datasets/run_tuple_eval_gen.sh -------------------------------------------------------------------------------- /lambdabeam/dsl/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/__init__.py -------------------------------------------------------------------------------- /lambdabeam/dsl/arithmetic_operations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/arithmetic_operations.py -------------------------------------------------------------------------------- /lambdabeam/dsl/bustle_operations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/bustle_operations.py -------------------------------------------------------------------------------- /lambdabeam/dsl/bustle_operations_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/bustle_operations_test.py -------------------------------------------------------------------------------- /lambdabeam/dsl/checker.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/checker.py -------------------------------------------------------------------------------- /lambdabeam/dsl/checker_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/checker_test.py -------------------------------------------------------------------------------- /lambdabeam/dsl/deepcoder_operations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/deepcoder_operations.py -------------------------------------------------------------------------------- /lambdabeam/dsl/deepcoder_operations_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/deepcoder_operations_test.py -------------------------------------------------------------------------------- /lambdabeam/dsl/deepcoder_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/deepcoder_utils.py -------------------------------------------------------------------------------- /lambdabeam/dsl/deepcoder_utils_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/deepcoder_utils_test.py -------------------------------------------------------------------------------- /lambdabeam/dsl/domains.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/domains.py -------------------------------------------------------------------------------- /lambdabeam/dsl/logic_operations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/logic_operations.py -------------------------------------------------------------------------------- /lambdabeam/dsl/operation_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/operation_base.py -------------------------------------------------------------------------------- /lambdabeam/dsl/operation_base_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/operation_base_test.py -------------------------------------------------------------------------------- /lambdabeam/dsl/task.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/task.py -------------------------------------------------------------------------------- /lambdabeam/dsl/tuple_operations.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/tuple_operations.py -------------------------------------------------------------------------------- /lambdabeam/dsl/value.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/dsl/value.py -------------------------------------------------------------------------------- /lambdabeam/experiment/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/__init__.py -------------------------------------------------------------------------------- /lambdabeam/experiment/arithmetic_synthesis/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/arithmetic_synthesis/__init__.py -------------------------------------------------------------------------------- /lambdabeam/experiment/arithmetic_synthesis/arithmetic_main_dist.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/arithmetic_synthesis/arithmetic_main_dist.sh -------------------------------------------------------------------------------- /lambdabeam/experiment/bustle/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/bustle/__init__.py -------------------------------------------------------------------------------- /lambdabeam/experiment/bustle/bustle_main_dist.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/bustle/bustle_main_dist.sh -------------------------------------------------------------------------------- /lambdabeam/experiment/deepcoder/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lambdabeam/experiment/deepcoder/configs/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lambdabeam/experiment/deepcoder/configs/exp_curriculum_gpu1.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/deepcoder/configs/exp_curriculum_gpu1.py -------------------------------------------------------------------------------- /lambdabeam/experiment/deepcoder/configs/exp_curriculum_multigpu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/deepcoder/configs/exp_curriculum_multigpu.py -------------------------------------------------------------------------------- /lambdabeam/experiment/deepcoder/configs/exp_multigpu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/deepcoder/configs/exp_multigpu.py -------------------------------------------------------------------------------- /lambdabeam/experiment/deepcoder/configs/exp_singlegpu.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/deepcoder/configs/exp_singlegpu.py -------------------------------------------------------------------------------- /lambdabeam/experiment/deepcoder/eval.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/deepcoder/eval.sh -------------------------------------------------------------------------------- /lambdabeam/experiment/exp_common.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/exp_common.py -------------------------------------------------------------------------------- /lambdabeam/experiment/launch_xm_train.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/launch_xm_train.sh -------------------------------------------------------------------------------- /lambdabeam/experiment/logic_synthesis/dist_run_logic.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/logic_synthesis/dist_run_logic.sh -------------------------------------------------------------------------------- /lambdabeam/experiment/run_baseline_synthesizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/run_baseline_synthesizer.py -------------------------------------------------------------------------------- /lambdabeam/experiment/run_baseline_synthesizer_handwritten_tasks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/run_baseline_synthesizer_handwritten_tasks.py -------------------------------------------------------------------------------- /lambdabeam/experiment/run_baseline_synthesizer_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/run_baseline_synthesizer_test.py -------------------------------------------------------------------------------- /lambdabeam/experiment/run_handwritten_baseline.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/run_handwritten_baseline.sh -------------------------------------------------------------------------------- /lambdabeam/experiment/run_lambdabeam.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/run_lambdabeam.py -------------------------------------------------------------------------------- /lambdabeam/experiment/run_lambdabeam_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/run_lambdabeam_test.py -------------------------------------------------------------------------------- /lambdabeam/experiment/task_iterator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/task_iterator.py -------------------------------------------------------------------------------- /lambdabeam/experiment/train_eval.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/train_eval.py -------------------------------------------------------------------------------- /lambdabeam/experiment/tuple_synthesis/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lambdabeam/experiment/tuple_synthesis/tuple_main_dist.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/experiment/tuple_synthesis/tuple_main_dist.sh -------------------------------------------------------------------------------- /lambdabeam/model/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/__init__.py -------------------------------------------------------------------------------- /lambdabeam/model/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/base.py -------------------------------------------------------------------------------- /lambdabeam/model/deepcoder_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/deepcoder_model.py -------------------------------------------------------------------------------- /lambdabeam/model/encoder.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/encoder.py -------------------------------------------------------------------------------- /lambdabeam/model/great.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/great.py -------------------------------------------------------------------------------- /lambdabeam/model/joint_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/joint_model.py -------------------------------------------------------------------------------- /lambdabeam/model/logic_model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/logic_model.py -------------------------------------------------------------------------------- /lambdabeam/model/op_arg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/op_arg.py -------------------------------------------------------------------------------- /lambdabeam/model/op_init.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/op_init.py -------------------------------------------------------------------------------- /lambdabeam/model/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/model/util.py -------------------------------------------------------------------------------- /lambdabeam/property_signatures/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lambdabeam/property_signatures/adhoc_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/property_signatures/adhoc_test.py -------------------------------------------------------------------------------- /lambdabeam/property_signatures/eval_property_signatures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/property_signatures/eval_property_signatures.py -------------------------------------------------------------------------------- /lambdabeam/property_signatures/property_signatures.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/property_signatures/property_signatures.py -------------------------------------------------------------------------------- /lambdabeam/property_signatures/property_signatures_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/property_signatures/property_signatures_test.py -------------------------------------------------------------------------------- /lambdabeam/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/requirements.txt -------------------------------------------------------------------------------- /lambdabeam/unique_randomizer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/unique_randomizer/__init__.py -------------------------------------------------------------------------------- /lambdabeam/unique_randomizer/unique_randomizer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/unique_randomizer/unique_randomizer.py -------------------------------------------------------------------------------- /lambdabeam/xm_datagen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/xm_datagen.py -------------------------------------------------------------------------------- /lambdabeam/xm_train.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/lambdabeam/xm_train.py -------------------------------------------------------------------------------- /results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run0.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run1.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run2.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run3.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/enumeration/handwritten_baseline_enumeration_timeout600_shuffleops.run4.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambda_squared.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambda_squared.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run0.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run1.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run2.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run3.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-0.run4.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run0.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run1.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run2.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run3.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/lambdabeam/results.handwritten.ur.timeout600-6.run4.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/robustfill/trial-1-hc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/robustfill/trial-1-hc.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/robustfill/trial-2-hc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/robustfill/trial-2-hc.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/robustfill/trial-3-hc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/robustfill/trial-3-hc.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/robustfill/trial-4-hc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/robustfill/trial-4-hc.json -------------------------------------------------------------------------------- /results/neurips23/handwritten/robustfill/trial-5-hc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/handwritten/robustfill/trial-5-hc.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run0.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run1.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run2.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run3.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/enumeration/synthetic_baseline_enumeration_timeout600_shuffleops.run4.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambda_squared.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambda_squared.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run0.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run1.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run2.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run3.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-0.run4.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run0.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run0.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run1.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run2.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run3.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/lambdabeam/results.synthetic.ur.timeout600-30.run4.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/robustfill/trial-1-syn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/robustfill/trial-1-syn.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/robustfill/trial-2-syn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/robustfill/trial-2-syn.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/robustfill/trial-3-syn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/robustfill/trial-3-syn.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/robustfill/trial-4-syn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/robustfill/trial-4-syn.json -------------------------------------------------------------------------------- /results/neurips23/synthetic/robustfill/trial-5-syn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/results/neurips23/synthetic/robustfill/trial-5-syn.json -------------------------------------------------------------------------------- /run_lambdabeam.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/run_lambdabeam.sh -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ellisk42/LambdaBeam/HEAD/setup.py --------------------------------------------------------------------------------