Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
暂无分享,去创建一个
[1] Xavier Leroy,et al. Formal verification of a realistic compiler , 2009, CACM.
[2] Christopher D. Manning,et al. Effective Approaches to Attention-based Neural Machine Translation , 2015, EMNLP.
[3] Junyi Jessy Li,et al. Deep Generation of Coq Lemma Names Using Elaborated Terms , 2020, IJCAR.
[4] Salim Roukos,et al. Bleu: a Method for Automatic Evaluation of Machine Translation , 2002, ACL.
[5] Quoc V. Le,et al. Sequence to Sequence Learning with Neural Networks , 2014, NIPS.
[6] Luca Antiga,et al. Automatic differentiation in PyTorch , 2017 .
[7] Charles A. Sutton,et al. Learning natural coding conventions , 2014, SIGSOFT FSE.
[8] Alexander M. Rush,et al. OpenNMT: Open-Source Toolkit for Neural Machine Translation , 2017, ACL.
[9] Emilio Jesús Gallego Arias. SerAPI: Machine-Friendly, Data-Centric Serialization for COQ , 2016 .
[10] Christopher D. Manning,et al. Get To The Point: Summarization with Pointer-Generator Networks , 2017, ACL.
[11] Cezary Kaliszyk,et al. What's in a Theorem Name? , 2016, ITP.
[12] Ilya Sergey,et al. Programming and proving with distributed protocols , 2017, Proc. ACM Program. Lang..