Parsing Texts and Checking Proofs in LATEX.
Robert C. NevelnRobert A. AlpsPublished in: CICM (Work in Progress) (2015)
Keyphrases
- natural language
- linguistic analysis
- syntactic analysis
- syntactic structures
- natural language processing
- natural language generation
- natural language text
- semantic network
- theorem proving
- semantic analysis
- mathematical expressions
- dependency parsing
- scientific publications
- text documents
- keywords
- formal proof
- legal texts
- natural language parsing
- parse tree
- machine learning
- equational theories
- word order
- theorem prover
- formal proofs
- mathematical proofs
- semantically annotated
- stochastic context free grammars
- context free
- consistency checking
- context sensitive