Using LSTM to Predict Tactics in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaokun Luan, Xiyue Zhang, Meng Sun. Using LSTM to Predict Tactics in Coq. In Shi-Kuo Chang, editor, The 33rd International Conference on Software Engineering and Knowledge Engineering, SEKE 2021, KSIR Virtual Conference Center, USA, July 1 - July 10, 2021. pages 132-137, KSI Research Inc., 2021. [doi]

This author has not been identified. Look up 'Xiaokun Luan' in GoogleThis author has not been identified. Look up 'Xiyue Zhang' in GoogleThis author has not been identified. Look up 'Meng Sun' in Google

runs on WebDSL