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://doi.org/10.1609/hcomp.v7i1.5277.