-
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Naming conventions are an important concern in large verification projec...
read it
-
Learning to Format Coq Code Using Language Models
Should the final right bracket in a record declaration be on a separate ...
read it
-
Learning to Update Natural Language Comments Based on Code Changes
We formulate the novel task of automatically updating an existing natura...
read it
-
Deep Generation of Coq Lemma Names Using Elaborated Terms
Coding conventions for naming, spacing, and other essentially stylistic ...
read it
-
Executable Trigger-Action Comments
Natural language elements, e.g., todo comments, are frequently used to c...
read it

Pengyu Nie
is this you? claim profile