nlp:nlp_for_math

This is an old revision of the document!

Table of Contents

NLP for Math Problems
- Papers
- Related Pages

NLP for Math Problems

Papers

Sachan et al 2017 - From Textbooks to Knowledge: A Case Study in Harvesting Axiomatic Knowledge from Textbooks to Solve Geometry Problems

Related Pages

Automatic Theorem Proving

nlp/nlp_for_math.1688603322.txt.gz · Last modified: 2023/07/06 00:28 by jmflanig