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]
Abstract is missing.