Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks

被引：3
|
作者：
Meadows, Jordan [1 ]
Freitas, Andre [2 ]
机构：
[1] Univ Manchester, Dept Comp Sci, Manchester, England
[2] Idiap Res Inst, Martigny, Switzerland
来源：
TRANSACTIONS OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS | 2023年 / 11卷
基金：
瑞士国家科学基金会;
关键词：
RETRIEVAL;
D O I：
10.1162/tacl_a_00594
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Automating discovery in mathematics and science will require sophisticated methods of information extraction and abstract reasoning, including models that can convincingly process relationships between mathematical elements and natural language, to produce problem solutions of real-world value. We analyze mathematical language processing methods across five strategic sub-areas (identifier-definition extraction, formula retrieval, natural language premise selection, math word problem solving, and informal theorem proving) from recent years, highlighting prevailing methodologies, existing limitations, overarching trends, and promising avenues for future research.
引用
收藏
页码：1162 / 1184
页数：23
相关论文
共 23 条
  • [1] AN INFORMAL INTRODUCTION TO PROGRAMMING DATA-PROCESSING PROBLEMS IN A FUNCTIONAL LANGUAGE
    SENICHKIN, VI
    PROGRAMMING AND COMPUTER SOFTWARE, 1993, 19 (05) : 223 - 237
  • [2] A Language Engineering Architecture for Processing Informal Mathematical Discourse
    Wolska, Magdalena
    DML 2008 - TOWARDS DIGITAL MATHEMATICS LIBRARY, 2008, : 131 - 136
  • [3] TEACHING CHILDREN TO SOLVE MATHEMATICAL WORD PROBLEMS IN AN IMPORTED LANGUAGE
    Verzosa, Debbie Bautista
    Mulligan, Joanne
    PROCEEDINGS OF THE 36TH CONFERENCE OF THE INTERNATIONAL GROUP FOR PSYCHOLOGY OF MATHEMATICS EDUCATION, VOL. 4: OPPORTUNITIES TO LEARN IN MATHEMATICS EDUCATION, 2012, : 203 - 210
  • [4] Enriching Word Embeddings with Fuzzy Systems for Natural Language Processing Tasks
    Seth, Taniya
    Muhuri, Pranab K.
    2024 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, FUZZ-IEEE 2024, 2024,
  • [5] Characterising receptive language processing in schizophrenia using word and sentence tasks
    Tan, Eric J.
    Yelland, Gregory W.
    Rossell, Susan L.
    COGNITIVE NEUROPSYCHIATRY, 2016, 21 (01) : 14 - 31
  • [6] Survey on Mathematical Word Problem Solving Using Natural Language Processing
    Ughade, Shounaak
    Kumbhar, Satish
    PROCEEDINGS OF 2019 1ST INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION AND COMMUNICATION TECHNOLOGY (ICIICT 2019), 2019,
  • [7] Simple methods to overcome the limitations of general word representations in natural language processing tasks
    Yu, Hongyeon
    An, Jaehyun
    Yoon, Jeongmin
    Kim, Hyemin
    Ko, Youngjoong
    COMPUTER SPEECH AND LANGUAGE, 2020, 59 (59): : 91 - 113
  • [8] Residual differences in language processing in compensated dyslexics revealed in simple word reading tasks
    Ingvar, M
    af Trampe, P
    Greitz, T
    Eriksson, L
    Stone-Elander, S
    von Euler, C
    BRAIN AND LANGUAGE, 2002, 83 (02) : 249 - 267
  • [9] Language, arithmetic word problems, and deaf students: Linguistic strategies used to solve tasks
    Zevenbergen R.
    Hyde M.
    Power D.
    Mathematics Education Research Journal, 2001, 13 (3) : 204 - 218
  • [10] Successive processing abilities and question aids as determinants of solution of mathematical word problems
    Mitsuda, M
    Sakita, M
    PSYCHOLOGIA, 1997, 40 (03) : 141 - 151
123