Skip to content
No description, website, or topics provided.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.


Copyright 2018 Christopher D. Rosin

Code and data for the MAKESPEARE AAAI paper:

Christopher D. Rosin. Stepping Stones to Inductive Synthesis of Low-Level Looping Programs. In AAAI 2019.

code/ contains MAKESPEARE code, and instructions for building it, running it, and reproducing results from the paper.

benchmarks/ has newly-created benchmark data.

scripts/ has a conversion script for previously-established benchmarks.

You can’t perform that action at this time.