├── .gitignore ├── LICENSE.txt ├── README.md ├── deepcoder ├── __init__.py ├── context.py ├── dsl │ ├── __init__.py │ ├── constants.py │ ├── constraint.py │ ├── function.py │ ├── impl.py │ ├── program.py │ ├── types.py │ └── value.py ├── nn │ ├── __init__.py │ ├── encoding.py │ └── model.py ├── search.py └── util.py ├── experiments └── baselines.sh ├── poetry.lock ├── pyproject.toml ├── scripts ├── gen-datasets.sh ├── gen-problems.py ├── gen-programs.py ├── solve-problems.py └── train-nn.py ├── setup.py └── test ├── __init__.py ├── test_constraint.py ├── test_context.py ├── test_dsl.py ├── test_program.py └── test_search.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/README.md -------------------------------------------------------------------------------- /deepcoder/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /deepcoder/context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/context.py -------------------------------------------------------------------------------- /deepcoder/dsl/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /deepcoder/dsl/constants.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/dsl/constants.py -------------------------------------------------------------------------------- /deepcoder/dsl/constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/dsl/constraint.py -------------------------------------------------------------------------------- /deepcoder/dsl/function.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/dsl/function.py -------------------------------------------------------------------------------- /deepcoder/dsl/impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/dsl/impl.py -------------------------------------------------------------------------------- /deepcoder/dsl/program.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/dsl/program.py -------------------------------------------------------------------------------- /deepcoder/dsl/types.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/dsl/types.py -------------------------------------------------------------------------------- /deepcoder/dsl/value.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/dsl/value.py -------------------------------------------------------------------------------- /deepcoder/nn/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /deepcoder/nn/encoding.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/nn/encoding.py -------------------------------------------------------------------------------- /deepcoder/nn/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/nn/model.py -------------------------------------------------------------------------------- /deepcoder/search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/search.py -------------------------------------------------------------------------------- /deepcoder/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/deepcoder/util.py -------------------------------------------------------------------------------- /experiments/baselines.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/experiments/baselines.sh -------------------------------------------------------------------------------- /poetry.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/poetry.lock -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/pyproject.toml -------------------------------------------------------------------------------- /scripts/gen-datasets.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/scripts/gen-datasets.sh -------------------------------------------------------------------------------- /scripts/gen-problems.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/scripts/gen-problems.py -------------------------------------------------------------------------------- /scripts/gen-programs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/scripts/gen-programs.py -------------------------------------------------------------------------------- /scripts/solve-problems.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/scripts/solve-problems.py -------------------------------------------------------------------------------- /scripts/train-nn.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/scripts/train-nn.py -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/setup.py -------------------------------------------------------------------------------- /test/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/test_constraint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/test/test_constraint.py -------------------------------------------------------------------------------- /test/test_context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/test/test_context.py -------------------------------------------------------------------------------- /test/test_dsl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/test/test_dsl.py -------------------------------------------------------------------------------- /test/test_program.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/test/test_program.py -------------------------------------------------------------------------------- /test/test_search.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dkamm/deepcoder/HEAD/test/test_search.py --------------------------------------------------------------------------------