We're still working on putting all our code in a user-friendly state, but we've pushed our TensorFlow models, and you can download our dataset. If you have any pressing questions or concerns, please contact Samuel Clarke (sclarke1 [at] andrew [dot] cmu [dot] edu).
You can download the compressed dataset here