Differences

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

--- nlp:nlp_for_math [2023/07/06 18:57] – [Papers] jmflanig
+++ nlp:nlp_for_math [2024/10/25 03:18] (current) – [Papers] jmflanig
@@ Line 7: / Line 7: @@
   * [[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]]