859555c74e9afd45ab771c615c1e49a6-Supplemental.pdf

In Section 3, we briefly described four Common Core-inspired environments: equations, fractions, ternary-addition and sorting. This dataset contains logs of student interactions with an automated algebra tutor. With 50%chance, we generate anumber. Anumber isgenerated byfirst picking the number ofprime factors (between 0 and 4), then drawing each factor independently from the set{2,3,5,7} and multiplying them. A state is solved when the final number can be readily read from the state: all digits must multiply different powers, they must be sorted by power, and there should be no zero digits.