Xiyue Zhang, Yi Li 0010, Weijiang Hong, Meng Sun 0002. Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq. In Dominique Méry, Shengchao Qin, editors, 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019. pages 107-112, IEEE, 2019. [doi]
@inproceedings{ZhangLH019,
title = {Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq},
author = {Xiyue Zhang and Yi Li 0010 and Weijiang Hong and Meng Sun 0002},
year = {2019},
doi = {10.1109/TASE.2019.00-12},
url = {https://doi.org/10.1109/TASE.2019.00-12},
researchr = {https://researchr.org/publication/ZhangLH019},
cites = {0},
citedby = {0},
pages = {107-112},
booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019},
editor = {Dominique Méry and Shengchao Qin},
publisher = {IEEE},
isbn = {978-1-7281-3342-3},
}