Search Results for author:
Found 3 papers, 2 papers with code
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Naming conventions are an important concern in large verification projects using proof assistants, such as Coq.
Learning to Format Coq Code Using Language Models
Should arguments to the rewrite tactic be separated by a single space?
Deep Generation of Coq Lemma Names Using Elaborated Terms
Our results show that Roosterize substantially outperforms baselines for suggesting lemma names, highlighting the importance of using multi-input models and elaborated terms.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
