Walter AT, Boskin B, Cooper S, Manolios P. Gamification of Loop-Invariant Discovery from Code. HCOMP [Internet]. 2019 Oct. 28 [cited 2026 May 13];7(1):188-96. Available from: https://ojs.aaai.org/index.php/HCOMP/article/view/5277