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

Xiyue Zhang, Yi Li, Weijiang Hong, Meng Sun

Browse the full TASE paper archive.