Differences

This shows you the differences between two versions of the page.

--- nlp:nlp_for_math [2023/07/06 00:29] – [NLP for Math Problems] jmflanig
+++ nlp:nlp_for_math [2024/10/25 03:18] (current) – [Papers] jmflanig
@@ Line 1: / Line 1: @@
 ====== 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]]