Using LSTM to Predict Tactics in Coq.

Xiaokun Luan Xiyue Zhang Meng Sun

Published in: SEKE (2021)

Keyphrases

database systems
recurrent neural networks
predicting future
image segmentation
training set
information extraction
formal methods