Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq | IEEE Conference Publication | IEEE Xplore