-
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Naming conventions are an important concern in large verification projec...
03/01/2021 ∙ by Pengyu Nie, et al. ∙
0
∙
share
read it
-
Learning to Format Coq Code Using Language Models
Should the final right bracket in a record declaration be on a separate ...
06/18/2020 ∙ by Pengyu Nie, et al. ∙
0
∙
share
read it
-
Learning to Update Natural Language Comments Based on Code Changes
We formulate the novel task of automatically updating an existing natura...
04/25/2020 ∙ by Sheena Panthaplackel, et al. ∙
0
∙
share
read it
-
Deep Generation of Coq Lemma Names Using Elaborated Terms
Coding conventions for naming, spacing, and other essentially stylistic ...
04/16/2020 ∙ by Pengyu Nie, et al. ∙
0
∙
share
read it
-
Executable Trigger-Action Comments
Natural language elements, e.g., todo comments, are frequently used to c...
08/06/2018 ∙ by Pengyu Nie, et al. ∙
0
∙
share
read it
