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 条

[21] External representations and cognitive styles in the solution of simple spatial, verbal reasoning and mathematical word problems: Is a heuristic language beneficial for the learner?
Cleeton, L
IC-AI'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS I-III, 2001, : 1066 - 1072
[22] Response execution in lexical decision tasks obscures sex-specific lateralization effects in language processing: Evidence from event-related potential measures during word reading
Hill, H
Ott, F
Herbert, C
Weisbrod, M
CEREBRAL CORTEX, 2006, 16 (07) : 978 - 989
[23] PSYCHOLINGUISTIC ASSESSMENTS OF LANGUAGE PROCESSING IN APHASIA, (PALPA), VOL 1, INTRODUCTION, VOL 2, SENTENCE COMPREHENSION, VOL 3, PICTURE AND WORD SEMANTICS, VOL 4, READING AND SPEELING, VOL 5, AUDITORY PROCESSING - KAY,J, LESSER,R, COLTHEART,M
FAUSSART, C
ANNEE PSYCHOLOGIQUE, 1995, (01): : 172 - 174

← 1 2 3 →