ProofLang: the language of arXiv proofs

DOI10.1007/978-3-031-42753-4_19OpenAlexW4386297866MaRDI QIDQ6118842

Nanako Noda, Henry Hammer, Christopher A. Stone

Publication date: 28 February 2024

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-42753-4_19

zbMATH Keywords

datasetnatural language processinginformal proofs

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

Cites Work

• Unnamed Item
• Unnamed Item
• The language of mathematics. A linguistic and philosophical investigation
• Interpreting mathematical texts in Naproche-SAD

This page was built for publication: ProofLang: the language of arXiv proofs