Walter, Andrew T., et al. “Gamification of Loop-Invariant Discovery from Code”. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing, vol. 7, no. 1, Oct. 2019, pp. 188-96, doi:10.1609/hcomp.v7i1.5277.