System Description: Statistical Parsing of Informalized Mizar Formulas.
Cezary KaliszykJosef UrbanJirí VyskocilPublished in: SYNASC (2017)
Keyphrases
- computer assisted
- statistical analysis
- information theoretic
- natural language
- natural language processing
- confidence intervals
- statistical information
- statistical approaches
- mathematical formulas
- data sets
- information retrieval
- artificial intelligence
- pattern matching
- hypothesis testing
- semantic representation
- word order