====== NLP for Mathematics ======

===== Overviews =====
  * [[https://arxiv.org/pdf/2212.10535.pdf|Lu et al 2022 - A Survey of Deep Learning for Mathematical Reasoning]]

===== Papers =====
  * [[https://aclanthology.org/D17-1081.pdf|Sachan et al 2017 - From Textbooks to Knowledge: A Case Study in Harvesting Axiomatic Knowledge from Textbooks to Solve Geometry Problems]]
  * [[https://arxiv.org/pdf/2305.16433.pdf|Petersen et al 2023 - Neural Machine Translation for Mathematical Formulae]]
  * [[https://arxiv.org/pdf/2402.17231|Das et al 2024 - MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning]] Great paper. Has a nice overview of existing datasets
  * [[https://arxiv.org/pdf/2409.12917|Gao et al 2024 - Training Language Models to Self-Correct via Reinforcement Learning]] Applied to math and code

===== Related Pages =====
  * [[ml:Automatic Theorem Proving]]