Skip to content

Latest commit

 

History

History

karel_env

Folders and files

NameName
Last commit message
Last commit date

parent directory

..

asset

asset

 
 

dsl

dsl

 
 

tool

tool

 
 

README.md

README.md

 
 

__init__.py

__init__.py

 
 

edit_distance.py

edit_distance.py

 
 

generator_option.py

generator_option.py

 
 

generator_option_key2door.py

generator_option_key2door.py

 
 

karel_generate_demo.py

karel_generate_demo.py

 
 

karel_option.py

karel_option.py

 
 

karel_option_key2door.py

karel_option_key2door.py

 
 

karel_supervised_new_vae.py

karel_supervised_new_vae.py

 
 

query_dataset.py

query_dataset.py

 
 

run_generate_demo.sh

run_generate_demo.sh

 
 

util.py

util.py

 
 

README.md

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

python3 generator_option_key2door.py

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.