nlp:nlp_for_math

Differences

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

Link to this comparison view

Next revision
Previous revision
nlp:nlp_for_math [2023/07/06 00:28] – created jmflanignlp:nlp_for_math [2024/10/25 03:18] (current) – [Papers] jmflanig
Line 1: Line 1:
-====== NLP for Math Problems ======+====== NLP for Mathematics ====== 
 + 
 +===== Overviews ===== 
 +  * [[https://arxiv.org/pdf/2212.10535.pdf|Lu et al 2022 - A Survey of Deep Learning for Mathematical Reasoning]]
  
 ===== Papers ===== ===== 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://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 ===== ===== Related Pages =====
   * [[ml:Automatic Theorem Proving]]   * [[ml:Automatic Theorem Proving]]
  
nlp/nlp_for_math.1688603322.txt.gz · Last modified: 2023/07/06 00:28 by jmflanig

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki