Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving Doratossadat Dastgheib author Ehsaneddin Asgari author 2022-10 text Proceedings of TextGraphs-16: Graph-based Methods for Natural Language Processing Dmitry Ustalov editor Yanjun Gao editor Alexander Panchenko editor Marco Valentino editor Mokanarangan Thayaparan editor Thien Huu Nguyen editor Gerald Penn editor Arti Ramesh editor Abhik Jana editor Association for Computational Linguistics Gyeongju, Republic of Korea conference publication dastgheib-asgari-2022-keyword https://aclanthology.org/2022.textgraphs-1.14/ 2022-10 124 126