ProofLang: The Language of arXiv Proofs.
Henry HammerNanako NodaChristopher A. StonePublished in: CICM (2023)
Keyphrases
- english language
- language processing
- programming language
- computer programs
- mathematical proofs
- language acquisition
- specification language
- theorem proving
- language learning
- xml documents
- search algorithm
- object oriented programming
- representation language
- metadata
- machine learning
- operational semantics
- neural network
- formal proofs
- real time