This _downloads directory contains datasets used for the AutoMathIC Becuase of the space constraints, you can download all materials from here. Next, please uncompress the tgz file and copy and paste all files in the _downloads directory before you run the code instructed in the Usage section at here.