Deep Generation of Coq Lemma Names Using Elaborated Terms (Conference Paper) | NSF PAGES

skip to main content

Citation Details

Deep Generation of Coq Lemma Names Using Elaborated Terms

Award ID(s):: 1652517 1850153

NSF-PAR ID:: 10220481

Author(s) / Creator(s):: Nie, Pengyu; Palmskog, Karl; Li, Junyi Jessy; Gligoric, Milos

Date Published:: 2020-06-01

Journal Name:: International Joint Conference on Automated Reasoning

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.1007/978-3-030-51054-1_6