Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
复制标题
Roosterize：使用深度学习为 Coq 验证项目建议引理名称
DOI：
10.1109/icse-companion52605.2021.00026
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Gligoric, Milos
中科院分区：
文献类型：
--
作者：
Nie, Pengyu;Palmskog, Karl;Li, Junyi Jessy;Gligoric, Milos
影响因子：
--
作者：
Ilya Sergey;James R. Wilcox;Zachary Tatlock
通讯作者：
Ilya Sergey;James R. Wilcox;Zachary Tatlock