Using LSTM to Predict Tactics in Coq

Published in Proceedings of the 33rd International Conference on Software Engineering & Knowledge Engineering, 2021

Recommended citation: Xiaokun Luan, Xiyue Zhang, Meng Sun. "Using LSTM to Predict Tactics in Coq." Proceedings of the 33rd International Conference on Software Engineering & Knowledge Engineering. SEKE 2021. https://ksiresearch.org/seke/seke21paper/paper047.pdf