nlp:nlp_for_math

Table of Contents

NLP for Mathematics

NLP for Mathematics

Overviews

Lu et al 2022 - A Survey of Deep Learning for Mathematical Reasoning

Papers

Sachan et al 2017 - From Textbooks to Knowledge: A Case Study in Harvesting Axiomatic Knowledge from Textbooks to Solve Geometry Problems
Petersen et al 2023 - Neural Machine Translation for Mathematical Formulae
Das et al 2024 - MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning Great paper. Has a nice overview of existing datasets
Gao et al 2024 - Training Language Models to Self-Correct via Reinforcement Learning Applied to math and code

Related Pages

Automatic Theorem Proving

nlp/nlp_for_math.txt · Last modified: 2024/10/25 03:18 by jmflanig