Abstract:Mathematical equations are an important part of dissemination and communication of scientific information. Students, however, often feel challenged in reading and understanding math content and equations. With the development of the Web, students are posting their math questions online. Nevertheless, constructing a concise math headline that gives a good description of the posted detailed math question is nontrivial. In this study, we explore a novel summarization task denoted as geNerating A concise Math hEadline from a detailed math question (NAME). Compared to conventional summarization tasks, this task has two extra and essential constraints: 1) Detailed math questions consist of text and math equations which require a unified framework to jointly model textual and mathematical information; 2) Unlike text, math equations contain semantic and structural features, and both of them should be captured together. To address these issues, we propose MathSum, a novel summarization model which utilizes a pointer mechanism combined with a multi-head attention mechanism for mathematical representation augmentation. The pointer mechanism can either copy textual tokens or math tokens from source questions in order to generate math headlines. The multi-head attention mechanism is designed to enrich the representation of math equations by modeling and integrating both its semantic and structural features. For evaluation, we collect and make available two sets of real-world detailed math questions along with human-written math headlines, namely EXEQ-300k and OFEQ-10k. Experimental results demonstrate that our model (MathSum) significantly outperforms state-of-the-art models for both the EXEQ-300k and OFEQ-10k datasets.

Assessing Proof Reading Comprehension Using Summaries

Practical Online Assessment of Mathematical Proof

Student Sense-Making in Post-Secondary Introductory Proof Courses: An Argument for and Outline of a Methodological Approach

Mathematical Proofs 101: How Proofs Should Be Read, Written, and Taught

Deconstructing Summary Writing: Further Exploration of L2 Reading and Writing

A Tale of Two Comprehensions? Analyzing Student Programmer Attention during Code Summarization

Reflective Groupwork for Introductory Proof-Writing Courses

Investigation of Prospective Mathematics Teachers’ Proof Completion Processes Supported By Key Ideas

Automatic Generation of Headlines for Online Math Questions

Automatic learner summary assessment for reading comprehension

Transitioning to proof via writing scripts on the rules of a new discourse

Évaluation entre pairs en mathématiques: activité d'étudiant$\bullet$es lors d'évaluations de preuves

Analysing Mathematical Reasoning Abilities of Neural Models

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

Efficiency of Learning from Proof Blocks Versus Writing Proofs

Varied reasoning schema in students' written solutions

How to Evaluate a Summarizer: Study Design and Statistical Analysis for Manual Linguistic Quality Evaluation

Towards more valid scoring criteria for integrated reading-writing and listening-writing summary tasks

Sociomathematical scaffolding as students engage in revising draft definitions, conjectures, and proofs

Autograding Mathematical Induction Proofs with Natural Language Processing

Relation Between Mathematical Proof Problem Solving, Math Anxiety, Self-Efficacy, Learning Engagement, and Backward Reasoning