https://github.com/openai/prm800k (ML dataset, math, imitation learning; backlinks)