A Survey in Mathematical Language Processing

05/30/2022
by   Jordan Meadows, et al.
0

Informal mathematical text underpins real-world quantitative reasoning and communication. Developing sophisticated methods of retrieval and abstraction from this dual modality is crucial in the pursuit of the vision of automating discovery in quantitative science and mathematics. We track the development of informal mathematical language processing approaches across five strategic sub-areas in recent years, highlighting the prevailing successful methodological elements along with existing limitations.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/20/2020

Adventures in Mathematical Reasoning

"Mathematics is not a careful march down a well-cleared highway, but a j...
research
01/18/2015

Mathematical Language Processing: Automatic Grading and Feedback for Open Response Mathematical Questions

While computer and communication technologies have provided effective me...
research
12/21/2018

Analysis Methods in Neural Language Processing: A Survey

The field of natural language processing has seen impressive progress in...
research
04/13/2021

Distilling Wikipedia mathematical knowledge into neural network models

Machine learning applications to symbolic mathematics are becoming incre...
research
01/06/2021

Text analysis in financial disclosures

Financial disclosure analysis and Knowledge extraction is an important f...
research
07/13/2023

Parmesan: mathematical concept extraction for education

Mathematics is a highly specialized domain with its own unique set of ch...
research
02/03/2021

Learning to Match Mathematical Statements with Proofs

We introduce a novel task consisting in assigning a proof to a given mat...

Please sign up or login with your details

Forgot password? Click here to reset