Walter, Andrew T., Benjamin Boskin, Seth Cooper, and Panagiotis Manolios. 2019. “Gamification of Loop-Invariant Discovery from Code”. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 7 (1):188-96. https://ojs.aaai.org/index.php/HCOMP/article/view/5277.