Alert button

Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning

Mar 01, 2021
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

Figure 1 for Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Figure 2 for Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Figure 3 for Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Figure 4 for Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: