7 citations · 22 across the 12 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Pengyu Nie, Karl Palmskog, Junyi Jessy Li +1
Naming conventions are an important concern in large verification projects using proof assistants, such as Coq. In particular, lemma names are used by proof engineers to effectivel…
cs.PL2020★ 2 cited
Deep Generation of Coq Lemma Names Using Elaborated Terms
Pengyu Nie, Karl Palmskog, Junyi Jessy Li +1
Coding conventions for naming, spacing, and other essentially stylistic properties are necessary for developers to effectively understand, review, and modify source code in large s…