karel_env

Karel Environment

This directory includes code for Karel environments, which includes:

• Random programs and demonstration generator
• Domain specific language interpreter

Dataset generation

Dataset used in the paper is generated with the following script

./karel/generate_dataset.sh

Domain specific language

The interpreter and random program generator for Karel domain specific language (DSL) is in the dsl directory. You can find detailed definition of the DSL from the supplementary material of the paper.