Walter, A. T., B. Boskin, S. Cooper, and P. Manolios. “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, https://ojs.aaai.org/index.php/HCOMP/article/view/5277.