Login / Signup
Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting Tasks.
Jordan Meadows
André Freitas
Published in:
Trans. Assoc. Comput. Linguistics (2023)
Keyphrases
</>
language processing
word problems
natural language processing
natural language
human language technology
human language
similar problems
machine translation
mathematical proofs
information retrieval
knowledge representation
mathematical knowledge
metadata
cooperative