Search Results for author: Karl Palmskog

Found 3 papers, 2 papers with code

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

1 code implementation1 Mar 2021 Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

Naming conventions are an important concern in large verification projects using proof assistants, such as Coq.

Deep Generation of Coq Lemma Names Using Elaborated Terms

2 code implementations16 Apr 2020 Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric

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.