NLP for Mathematics

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

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

Automatic Theorem Proving