paper-with-me

홈 › Papers

MathBERT: A Pre-trained Language Model for General NLP Tasks in Mathematics Education

2021-06-02 · Jia Tracy Shen, Michiharu Yamashita, Ethan Prihar, Neil Heffernan, Xintao Wu, Ben Graff, Dongwon Lee

Since the introduction of the original BERT (i.e., BASE BERT), researchers have developed various customized BERT models with improved performance for specific domains and tasks by exploiting the benefits of transfer learning. Due to the nature of mathematical texts, which often use domain specific vocabulary along with equations and math symbols, we posit that the development of a new BERT model for mathematics would be useful for many mathematical downstream tasks. In this resource paper, we introduce our multi-institutional effort (i.e., two learning platforms and three academic institutions in the US) toward this need: MathBERT, a model created by pre-training the BASE BERT model on a large mathematical corpus ranging from pre-kindergarten (pre-k), to high-school, to college graduate level mathematical content. In addition, we select three general NLP tasks that are often used in mathematics education: prediction of knowledge component, auto-grading open-ended Q&A, and knowledge tracing, to demonstrate the superiority of MathBERT over BASE BERT. Our experiments show that MathBERT outperforms prior best methods by 1.2-22% and BASE BERT by 2-8% on these tasks. In addition, we build a mathematics specific vocabulary 'mathVocab' to train with MathBERT. We discover that MathBERT pre-trained with 'mathVocab' outperforms MathBERT trained with the BASE BERT vocabulary (i.e., 'origVocab'). MathBERT is currently being adopted at the participated leaning platforms: Stride, Inc, a commercial educational resource provider, and ASSISTments.org, a free online educational platform. We release MathBERT for public usage at: https://github.com/tbs17/MathBERT.

📄 PDF Abstract BibTeX arXiv:2106.07340

Code (1)

tbs17/MathBERT 공식 구현 tf

Tasks

Knowledge TracingLanguage ModelingLanguage ModellingMathTransfer Learning

Methods 이 논문이 사용한 방법론

Refunds@Expedia|||How do I get a full refund from Expedia? “How do I get a full refund from Expedia? How do I get a full refund from Expedia? – Call ☎️ +1-(888) 829 (0881) or +1-805-330-4056 or +1-805-330-4056 for Quick Help &…
Multi-Head Attention 설명 없음
Attention 설명 없음
Linear Layer A Linear Layer is a projection $\mathbf{XW + b}$.
Adam 설명 없음
Linear Warmup With Linear Decay Linear Warmup With Linear Decay is a learning rate schedule in which we increase the learning rate linearly for $n$ updates and then linearly decay afterwards.
Residual Connection 설명 없음
WordPiece 설명 없음

Similar Papers 제목 키워드 기반

MathBERT: A Pre-Trained Model for Mathematical Formula Understanding

2021-05-02 · Shuai Peng, Ke Yuan, Liangcai Gao, Zhi Tang

Large-scale pre-trained models like BERT, have obtained a great success in various Natural Language Processing (NLP) tasks, while it is still a challenge to adapt them to the math-related tasks. Current pre-trained model…

Headline GenerationInformation RetrievalMathRetrieval+2

End-to-End Evaluation of a Spoken Dialogue System for Learning Basic Mathematics

2022-11-07 · Eda Okur, Saurav Sahay, Roddy Fuentes Alba, Lama Nachman

The advances in language-based Artificial Intelligence (AI) technologies applied to build educational applications can present AI for social-good opportunities with a broader positive impact. Across many disciplines, enh…

Automatic Speech RecognitionAutomatic Speech Recognition (ASR)Intent RecognitionMath+3

Pretrained Language Models are Symbolic Mathematics Solvers too!

2021-10-07 · Kimia Noorbakhsh, Modar Sulaiman, Mahdi Sharifi, Kallol Roy 외

Solving symbolic mathematics has always been of in the arena of human ingenuity that needs compositional reasoning and recurrence. However, recent studies have shown that large-scale language models such as transformers …

IngenuityLanguage ModellingMath

Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers

2024-10-10 · Alberto Alfarano, François Charton, Amaury Hayat

Despite their spectacular progress, language models still struggle on complex reasoning tasks, such as advanced mathematics. We consider a long-standing open problem in mathematics: discovering a Lyapunov function that e…

Automatic Short Math Answer Grading via In-context Meta-learning

2022-05-30 · Mengxue Zhang, Sami Baral, Neil Heffernan, Andrew Lan

Automatic short answer grading is an important research direction in the exploration of how to use artificial intelligence (AI)-based tools to improve education. Current state-of-the-art approaches use neural language mo…

automatic short answer gradingIn-Context LearningLanguage ModelingLanguage Modelling+2