Context-aware Generation of Proof Scripts for Theorem Proving. - Chuanhu Cheng; Yan Xiong 001; Wenchao Huang 001; Lu Ma (BigCom, 2020)