{"id":"https://openalex.org/W4386902358","doi":"https://doi.org/10.1162/tacl_a_00594","title":"Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks","display_name":"Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4386902358","doi":"https://doi.org/10.1162/tacl_a_00594"},"language":"en","primary_location":{"id":"doi:10.1162/tacl_a_00594","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1162/tacl_a_00594","pdf_url":"https://direct.mit.edu/tacl/article-pdf/doi/10.1162/tacl_a_00594/2159104/tacl_a_00594.pdf","source":{"id":"https://openalex.org/S2729999759","display_name":"Transactions of the Association for Computational Linguistics","issn_l":"2307-387X","issn":["2307-387X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320244","host_organization_name":"Association for Computational Linguistics","host_organization_lineage":["https://openalex.org/P4310320244"],"host_organization_lineage_names":["Association for Computational Linguistics"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Transactions of the Association for Computational Linguistics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://direct.mit.edu/tacl/article-pdf/doi/10.1162/tacl_a_00594/2159104/tacl_a_00594.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091753287","display_name":"Jordan Meadows","orcid":"https://orcid.org/0000-0001-9472-0962"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jordan Meadows","raw_affiliation_strings":["Department of Computer Science, University of Manchester, UK. jordan.meadows@postgrad.manchester.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, UK. jordan.meadows@postgrad.manchester.ac.uk","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053978668","display_name":"Andr\u00e9 Freitas","orcid":"https://orcid.org/0000-0002-4430-4837"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]},{"id":"https://openalex.org/I7495430","display_name":"Idiap Research Institute","ror":"https://ror.org/05932h694","country_code":"CH","type":"facility","lineage":["https://openalex.org/I7495430"]}],"countries":["CH","GB"],"is_corresponding":true,"raw_author_name":"Andr\u00e9 Freitas","raw_affiliation_strings":["Department of Computer Science, University of Manchester, UK","Idiap Research Institute, Switzerland. andre.freitas@idiap.ch"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Manchester, UK","institution_ids":["https://openalex.org/I28407311"]},{"raw_affiliation_string":"Idiap Research Institute, Switzerland. andre.freitas@idiap.ch","institution_ids":["https://openalex.org/I7495430"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5053978668","https://openalex.org/A5091753287"],"corresponding_institution_ids":["https://openalex.org/I28407311","https://openalex.org/I7495430"],"apc_list":null,"apc_paid":null,"fwci":0.5182,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.69484014,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"11","issue":null,"first_page":"1162","last_page":"1184"},"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.9994999766349792,"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.9994999766349792,"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.9861000180244446,"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/T10028","display_name":"Topic Modeling","score":0.9725000262260437,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8169481158256531},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7408735752105713},{"id":"https://openalex.org/keywords/premise","display_name":"Premise","score":0.6576855182647705},{"id":"https://openalex.org/keywords/identifier","display_name":"Identifier","score":0.6342751979827881},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.5519692897796631},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.5343249440193176},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5262065529823303},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.5138645172119141},{"id":"https://openalex.org/keywords/information-extraction","display_name":"Information extraction","score":0.46687668561935425},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4238853454589844},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.38153076171875},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.36134231090545654},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.1640213131904602},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1637255847454071},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10932815074920654}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8169481158256531},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7408735752105713},{"id":"https://openalex.org/C2778023277","wikidata":"https://www.wikidata.org/wiki/Q321703","display_name":"Premise","level":2,"score":0.6576855182647705},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.6342751979827881},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.5519692897796631},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.5343249440193176},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5262065529823303},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.5138645172119141},{"id":"https://openalex.org/C195807954","wikidata":"https://www.wikidata.org/wiki/Q1662562","display_name":"Information extraction","level":2,"score":0.46687668561935425},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4238853454589844},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.38153076171875},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.36134231090545654},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.1640213131904602},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1637255847454071},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10932815074920654},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1162/tacl_a_00594","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1162/tacl_a_00594","pdf_url":"https://direct.mit.edu/tacl/article-pdf/doi/10.1162/tacl_a_00594/2159104/tacl_a_00594.pdf","source":{"id":"https://openalex.org/S2729999759","display_name":"Transactions of the Association for Computational Linguistics","issn_l":"2307-387X","issn":["2307-387X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320244","host_organization_name":"Association for Computational Linguistics","host_organization_lineage":["https://openalex.org/P4310320244"],"host_organization_lineage_names":["Association for Computational Linguistics"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Transactions of the Association for Computational Linguistics","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:193505613901490b8f5af7a9851512a5","is_oa":true,"landing_page_url":"https://doaj.org/article/193505613901490b8f5af7a9851512a5","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Transactions of the Association for Computational Linguistics, Vol 11 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1162/tacl_a_00594","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1162/tacl_a_00594","pdf_url":"https://direct.mit.edu/tacl/article-pdf/doi/10.1162/tacl_a_00594/2159104/tacl_a_00594.pdf","source":{"id":"https://openalex.org/S2729999759","display_name":"Transactions of the Association for Computational Linguistics","issn_l":"2307-387X","issn":["2307-387X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320244","host_organization_name":"Association for Computational Linguistics","host_organization_lineage":["https://openalex.org/P4310320244"],"host_organization_lineage_names":["Association for Computational Linguistics"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Transactions of the Association for Computational Linguistics","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.8100000023841858}],"awards":[{"id":"https://openalex.org/G612483451","display_name":"Neural Discourse Inference over Mathematical Texts","funder_award_id":"204617","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G993971353","display_name":null,"funder_award_id":"200021","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386902358.pdf"},"referenced_works_count":166,"referenced_works":["https://openalex.org/W167237087","https://openalex.org/W1464569014","https://openalex.org/W1505640990","https://openalex.org/W1614298861","https://openalex.org/W1623704225","https://openalex.org/W1646117648","https://openalex.org/W1752290031","https://openalex.org/W1970180442","https://openalex.org/W1982239968","https://openalex.org/W2002167938","https://openalex.org/W2016994540","https://openalex.org/W2018762316","https://openalex.org/W2031071334","https://openalex.org/W2065005579","https://openalex.org/W2083798195","https://openalex.org/W2232826555","https://openalex.org/W2251349042","https://openalex.org/W2251935656","https://openalex.org/W2251951453","https://openalex.org/W2337021505","https://openalex.org/W2340997632","https://openalex.org/W2341658315","https://openalex.org/W2396820472","https://openalex.org/W2428112462","https://openalex.org/W2475046758","https://openalex.org/W2493916176","https://openalex.org/W2513499049","https://openalex.org/W2531638282","https://openalex.org/W2540645427","https://openalex.org/W2559655401","https://openalex.org/W2569480976","https://openalex.org/W2572006936","https://openalex.org/W2595233870","https://openalex.org/W2728311734","https://openalex.org/W2740807107","https://openalex.org/W2749818730","https://openalex.org/W2752344401","https://openalex.org/W2757276219","https://openalex.org/W2804018630","https://openalex.org/W2887428522","https://openalex.org/W2896457183","https://openalex.org/W2914120296","https://openalex.org/W2918138400","https://openalex.org/W2929954177","https://openalex.org/W2945720633","https://openalex.org/W2946378529","https://openalex.org/W2953987971","https://openalex.org/W2962927633","https://openalex.org/W2963133108","https://openalex.org/W2963206679","https://openalex.org/W2963757395","https://openalex.org/W2964710271","https://openalex.org/W2965373594","https://openalex.org/W2970641574","https://openalex.org/W2970771982","https://openalex.org/W2971094176","https://openalex.org/W2975239981","https://openalex.org/W2994190437","https://openalex.org/W2996380287","https://openalex.org/W2996428491","https://openalex.org/W2996840337","https://openalex.org/W3016200987","https://openalex.org/W3021397474","https://openalex.org/W3034830866","https://openalex.org/W3034902472","https://openalex.org/W3034999214","https://openalex.org/W3035498813","https://openalex.org/W3035625205","https://openalex.org/W3042499904","https://openalex.org/W3048713172","https://openalex.org/W3098556021","https://openalex.org/W3099700870","https://openalex.org/W3102315106","https://openalex.org/W3103939752","https://openalex.org/W3106124812","https://openalex.org/W3115977017","https://openalex.org/W3121904249","https://openalex.org/W3125166688","https://openalex.org/W3126410436","https://openalex.org/W3134642945","https://openalex.org/W3147294411","https://openalex.org/W3153420527","https://openalex.org/W3156789018","https://openalex.org/W3158196282","https://openalex.org/W3173285067","https://openalex.org/W3174781928","https://openalex.org/W3175239873","https://openalex.org/W3177813494","https://openalex.org/W3183303265","https://openalex.org/W3195051384","https://openalex.org/W3197040007","https://openalex.org/W3200590058","https://openalex.org/W3209461435","https://openalex.org/W3212021643","https://openalex.org/W4205451693","https://openalex.org/W4206777850","https://openalex.org/W4210465888","https://openalex.org/W4224308101","https://openalex.org/W4226325987","https://openalex.org/W4226354959","https://openalex.org/W4229011559","https://openalex.org/W4245942730","https://openalex.org/W4282045675","https://openalex.org/W4283768109","https://openalex.org/W4285133375","https://openalex.org/W4286892945","https://openalex.org/W4287671158","https://openalex.org/W4287805239","https://openalex.org/W4287854605","https://openalex.org/W4287887314","https://openalex.org/W4287889982","https://openalex.org/W4292779060","https://openalex.org/W4292939202","https://openalex.org/W4385245566","https://openalex.org/W4385572906","https://openalex.org/W4385573344","https://openalex.org/W4385573734","https://openalex.org/W6601908075","https://openalex.org/W6605903650","https://openalex.org/W6630235389","https://openalex.org/W6636510571","https://openalex.org/W6691715656","https://openalex.org/W6712619152","https://openalex.org/W6712896552","https://openalex.org/W6713259660","https://openalex.org/W6713651113","https://openalex.org/W6731991982","https://openalex.org/W6732061731","https://openalex.org/W6732901009","https://openalex.org/W6735020992","https://openalex.org/W6735031333","https://openalex.org/W6739901393","https://openalex.org/W6740356705","https://openalex.org/W6743845106","https://openalex.org/W6748856961","https://openalex.org/W6755207826","https://openalex.org/W6759455113","https://openalex.org/W6761358629","https://openalex.org/W6762592649","https://openalex.org/W6766673545","https://openalex.org/W6768021236","https://openalex.org/W6769640450","https://openalex.org/W6771306615","https://openalex.org/W6776624537","https://openalex.org/W6777412637","https://openalex.org/W6778265460","https://openalex.org/W6778883912","https://openalex.org/W6782614878","https://openalex.org/W6782879696","https://openalex.org/W6782933584","https://openalex.org/W6784410704","https://openalex.org/W6790016268","https://openalex.org/W6791376898","https://openalex.org/W6793338163","https://openalex.org/W6795255723","https://openalex.org/W6797067121","https://openalex.org/W6798182279","https://openalex.org/W6799018122","https://openalex.org/W6800861191","https://openalex.org/W6803096969","https://openalex.org/W6810081322","https://openalex.org/W6810204835","https://openalex.org/W6810830369","https://openalex.org/W6839198299","https://openalex.org/W6846153381","https://openalex.org/W6846775124"],"related_works":["https://openalex.org/W590788508","https://openalex.org/W2611974471","https://openalex.org/W4313233093","https://openalex.org/W2358082531","https://openalex.org/W2589976903","https://openalex.org/W2335596023","https://openalex.org/W3029691491","https://openalex.org/W1837359179","https://openalex.org/W2165504147","https://openalex.org/W2986643010"],"abstract_inverted_index":{"Abstract":[0],"Automating":[1],"discovery":[2],"in":[3],"mathematics":[4],"and":[5,14,27,59,73],"science":[6],"will":[7],"require":[8],"sophisticated":[9],"methods":[10,42],"of":[11,34],"information":[12],"extraction":[13],"abstract":[15],"reasoning,":[16],"including":[17],"models":[18],"that":[19],"can":[20],"convincingly":[21],"process":[22],"relationships":[23],"between":[24],"mathematical":[25,39],"elements":[26],"natural":[28,51],"language,":[29],"to":[30],"produce":[31],"problem":[32,57],"solutions":[33],"real-world":[35],"value.":[36],"We":[37],"analyze":[38],"language":[40,52],"processing":[41],"across":[43],"five":[44],"strategic":[45],"sub-areas":[46],"(identifier-definition":[47],"extraction,":[48],"formula":[49],"retrieval,":[50],"premise":[53],"selection,":[54],"math":[55],"word":[56],"solving,":[58],"informal":[60],"theorem":[61],"proving)":[62],"from":[63],"recent":[64],"years,":[65],"highlighting":[66],"prevailing":[67],"methodologies,":[68],"existing":[69],"limitations,":[70],"overarching":[71],"trends,":[72],"promising":[74],"avenues":[75],"for":[76],"future":[77],"research.":[78]},"counts_by_year":[{"year":2024,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}