{"id":"https://openalex.org/W4384930739","doi":"https://doi.org/10.1177/01655515231184826","title":"Recognising formula entailment using long short-term memory network","display_name":"Recognising formula entailment using long short-term memory network","publication_year":2023,"publication_date":"2023-07-20","ids":{"openalex":"https://openalex.org/W4384930739","doi":"https://doi.org/10.1177/01655515231184826"},"language":"en","primary_location":{"id":"doi:10.1177/01655515231184826","is_oa":true,"landing_page_url":"https://doi.org/10.1177/01655515231184826","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/01655515231184826?download=true","source":{"id":"https://openalex.org/S68913162","display_name":"Journal of Information Science","issn_l":"0165-5515","issn":["0165-5515","1741-6485"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Information Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://journals.sagepub.com/doi/pdf/10.1177/01655515231184826?download=true","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065660408","display_name":"Amarnath Pathak","orcid":"https://orcid.org/0000-0002-1666-4464"},"institutions":[{"id":"https://openalex.org/I4210154945","display_name":"Kendriya Vidyalaya Sangathan","ror":"https://ror.org/04gzt2g63","country_code":"IN","type":"education","lineage":["https://openalex.org/I4210154945"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Amarnath Pathak","raw_affiliation_strings":["Kendriya Vidyalaya Khairagarh, India"],"raw_orcid":"https://orcid.org/0000-0002-1666-4464","affiliations":[{"raw_affiliation_string":"Kendriya Vidyalaya Khairagarh, India","institution_ids":["https://openalex.org/I4210154945"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017734144","display_name":"Partha Pakray","orcid":"https://orcid.org/0000-0003-3834-5154"},"institutions":[{"id":"https://openalex.org/I151903974","display_name":"National Institute Of Technology Silchar","ror":"https://ror.org/001ws2a36","country_code":"IN","type":"education","lineage":["https://openalex.org/I151903974"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Partha Pakray","raw_affiliation_strings":["National Institute of Technology Silchar, India"],"raw_orcid":"https://orcid.org/0000-0003-3834-5154","affiliations":[{"raw_affiliation_string":"National Institute of Technology Silchar, India","institution_ids":["https://openalex.org/I151903974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5065660408"],"corresponding_institution_ids":["https://openalex.org/I4210154945"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14631916,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"52","issue":"1","first_page":"214","last_page":"227"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9728000164031982,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10601","display_name":"Handwritten Text Recognition Techniques","score":0.9315999746322632,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/textual-entailment","display_name":"Textual entailment","score":0.8251891136169434},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.8067081570625305},{"id":"https://openalex.org/keywords/symbol","display_name":"Symbol (formal)","score":0.7144642472267151},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6197688579559326},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6173481941223145},{"id":"https://openalex.org/keywords/unavailability","display_name":"Unavailability","score":0.5961560606956482},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.5858417749404907},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5451993942260742},{"id":"https://openalex.org/keywords/similarity","display_name":"Similarity (geometry)","score":0.5385172963142395},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.5063701868057251},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3621521592140198},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.34378179907798767},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33483242988586426},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3001488745212555},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11050236225128174}],"concepts":[{"id":"https://openalex.org/C95318506","wikidata":"https://www.wikidata.org/wiki/Q6588467","display_name":"Textual entailment","level":3,"score":0.8251891136169434},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.8067081570625305},{"id":"https://openalex.org/C134400042","wikidata":"https://www.wikidata.org/wiki/Q2372244","display_name":"Symbol (formal)","level":2,"score":0.7144642472267151},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6197688579559326},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6173481941223145},{"id":"https://openalex.org/C2780505938","wikidata":"https://www.wikidata.org/wiki/Q17093282","display_name":"Unavailability","level":2,"score":0.5961560606956482},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.5858417749404907},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5451993942260742},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.5385172963142395},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.5063701868057251},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3621521592140198},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.34378179907798767},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33483242988586426},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3001488745212555},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11050236225128174},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1177/01655515231184826","is_oa":true,"landing_page_url":"https://doi.org/10.1177/01655515231184826","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/01655515231184826?download=true","source":{"id":"https://openalex.org/S68913162","display_name":"Journal of Information Science","issn_l":"0165-5515","issn":["0165-5515","1741-6485"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Information Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1177/01655515231184826","is_oa":true,"landing_page_url":"https://doi.org/10.1177/01655515231184826","pdf_url":"https://journals.sagepub.com/doi/pdf/10.1177/01655515231184826?download=true","source":{"id":"https://openalex.org/S68913162","display_name":"Journal of Information Science","issn_l":"0165-5515","issn":["0165-5515","1741-6485"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320017","host_organization_name":"SAGE Publishing","host_organization_lineage":["https://openalex.org/P4310320017"],"host_organization_lineage_names":["SAGE Publishing"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Information Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.800000011920929,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G5778320006","display_name":null,"funder_award_id":"YSS/2015/000988","funder_id":"https://openalex.org/F4320334771","funder_display_name":"Science and Engineering Research Board"}],"funders":[{"id":"https://openalex.org/F4320334771","display_name":"Science and Engineering Research Board","ror":"https://ror.org/03ffdsr55"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4384930739.pdf","grobid_xml":"https://content.openalex.org/works/W4384930739.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W2078029432","https://openalex.org/W2118463056","https://openalex.org/W2126602081","https://openalex.org/W2337021505","https://openalex.org/W2595718889","https://openalex.org/W2749818730","https://openalex.org/W2767810198","https://openalex.org/W2788496822","https://openalex.org/W2911319979","https://openalex.org/W2964003257","https://openalex.org/W2964294651","https://openalex.org/W2975239981","https://openalex.org/W2999309192","https://openalex.org/W3034717099","https://openalex.org/W4237452273","https://openalex.org/W4246519874","https://openalex.org/W6686139307","https://openalex.org/W6734342976","https://openalex.org/W6735020992"],"related_works":["https://openalex.org/W2118335617","https://openalex.org/W12963412","https://openalex.org/W2947884672","https://openalex.org/W2937401546","https://openalex.org/W2524172264","https://openalex.org/W1553238488","https://openalex.org/W3044478053","https://openalex.org/W2296063830","https://openalex.org/W4384930739","https://openalex.org/W2108648114"],"abstract_inverted_index":{"The":[0],"article":[1],"presents":[2],"an":[3,86],"approach":[4],"to":[5,25,61,76],"recognise":[6],"formula":[7,36,55],"entailment,":[8],"which":[9],"concerns":[10],"finding":[11],"entailment":[12,37,56,159],"relationships":[13,29],"between":[14,30,95],"pairs":[15,31,102,163],"of":[16,32,64,93,135,141,168],"math":[17,33],"formulae.":[18],"As":[19],"the":[20,62,70,91,96,100,104,132,146,153],"current":[21],"formula-similarity-detection":[22],"approaches":[23],"fail":[24],"account":[26],"for":[27,53,160],"broader":[28],"formulae,":[34],"recognising":[35,54],"becomes":[38],"paramount.":[39],"To":[40],"this":[41],"end,":[42],"a":[43,78,165],"long":[44],"short-term":[45],"memory":[46],"(LSTM)":[47],"neural":[48],"network":[49],"using":[50,131,152],"symbol-by-symbol":[51],"attention":[52],"is":[57,75],"implemented.":[58],"However,":[59],"owing":[60],"unavailability":[63],"relevant":[65],"training":[66],"and":[67,72,128,138,150],"validation":[68],"corpora,":[69],"first":[71],"foremost":[73],"step":[74],"create":[77],"sufficiently":[79],"large-sized":[80],"symbol-level":[81],"MATHENTAIL":[82,105,154],"data":[83,106,155],"set":[84,107],"in":[85,103],"automated":[87],"fashion.":[88],"Depending":[89],"on":[90],"extent":[92],"similarity":[94],"corresponding":[97],"symbol":[98,101],"embeddings,":[99],"are":[108],"assigned":[109],"\u2018entailment\u2019":[110],"or":[111],"\u2018neutral\u2019":[112],"labels.":[113],"An":[114],"improved":[115],"symbol-to-vector":[116],"(isymbol2vec)":[117],"method":[118],"generates":[119],"mathematical":[120],"symbols":[121],"(in":[122],"L":[123],"A":[124],"T":[125],"E":[126],"X)":[127],"their":[129],"embeddings":[130],"Wikipedia":[133],"corpus":[134],"scientific":[136],"documents":[137],"Continuous":[139],"Bag":[140],"Words":[142],"(CBOW)":[143],"architecture.":[144],"Eventually,":[145],"LSTM":[147],"network,":[148],"trained":[149],"validated":[151],"set,":[156],"predicts":[157],"formulae":[158,162],"test":[161],"with":[164],"reasonable":[166],"accuracy":[167],"62.2%.":[169]},"counts_by_year":[],"updated_date":"2026-06-15T08:34:33.830935","created_date":"2025-10-10T00:00:00"}