UNLPSat TextGraphs-16 Natural Language Premise Selection task: Unsupervised Natural Language Premise Selection in mathematical text using sentence-MPNet
dc.contributor.author | Trust, Paul | |
dc.contributor.author | Kadusabe, Provia | |
dc.contributor.author | Younis, Haseeb | |
dc.contributor.author | Minghim, Rosane | |
dc.contributor.author | Milios, Evangelos | |
dc.contributor.author | Zahran, Ahmed | |
dc.contributor.funder | Science Foundation Ireland | en |
dc.date.accessioned | 2022-11-08T15:25:27Z | |
dc.date.available | 2022-11-08T15:25:27Z | |
dc.date.issued | 2022-10-16 | |
dc.date.updated | 2022-10-20T08:41:19Z | |
dc.description.abstract | This paper describes our system for the submission to the TextGraphs 2022 shared task at COLING 2022: Natural Language Premise Selection (NLPS) from mathematical texts. The task of NLPS is about selecting mathematical statements called premises in a knowledge base written in natural language and mathematical formulae that are most likely to be used to prove a particular mathematical proof. We formulated this task as an unsupervised semantic similarity task by first obtaining contextualized embeddings of both the premises and mathematical proofs using sentence transformers. We then obtained the cosine similarity between the embeddings of premises and proofs and then selected premises with the highest cosine scores as the most probable. Our system improves over the baseline system that uses bag of words models based on term frequency inverse document frequency in terms of mean average precision (MAP) by about 23.5% (0.1516 versus 0.1228). | en |
dc.description.status | Not peer reviewed | en |
dc.description.version | Published Version | en |
dc.format.mimetype | application/pdf | en |
dc.identifier.citation | Trust, P., Kadusabe, P., Younis, H., Minghim, R., Milios, E. and Zahran, A. (2022) 'UNLPSat TextGraphs-16 Natural Language Premise Selection task: Unsupervised Natural Language Premise Selection in mathematical text using sentence-MPNet', TextGraphs-16: Graph-based Methods for Natural Language Processing, Gyeongju, Republic of Korea, 16 October, pp. 119-123. Available at: https://aclanthology.org/2022.textgraphs-1.13 (Accessed: 8 November 2022) | en |
dc.identifier.endpage | 123 | en |
dc.identifier.startpage | 119 | en |
dc.identifier.uri | https://hdl.handle.net/10468/13837 | |
dc.language.iso | en | en |
dc.publisher | Association for Computational Linguistics | en |
dc.relation.uri | https://aclanthology.org/2022.textgraphs-1.13 | |
dc.rights | © 2022, the Authors. This paper is distributed under the terms of the Creative Commons Attribution Licence 4.0. | en |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | en |
dc.subject | Natural Language Premise Selection | en |
dc.title | UNLPSat TextGraphs-16 Natural Language Premise Selection task: Unsupervised Natural Language Premise Selection in mathematical text using sentence-MPNet | en |
dc.type | Conference item | en |