Using LSTM to Predict Tactics in Coq.

Xiaokun Luan, Xiyue Zhang, Meng Sun

Browse the full SEKE paper archive.