Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq

Published in Proceedings of International Symposium on Theoretical Aspects of Software Engineering, 2019

Recommended citation: Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun. "Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq." Proceedings of International Symposium on Theoretical Aspects of Software Engineering. TASE 2019. https://ieeexplore.ieee.org/document/8914103