A. T. Walter, B. Boskin, S. Cooper, and P. Manolios, “Gamification of Loop-Invariant Discovery from Code”, HCOMP, vol. 7, no. 1, pp. 188-196, Oct. 2019.