Autograding Mathematical Induction Proofs with Natural Language Processing.
Chenyan ZhaoMariana SilvaSeth PoulsenPublished in: CoRR (2024)
Keyphrases
- natural language processing
- mathematical proofs
- mathematical knowledge
- automated theorem provers
- machine learning
- proof search
- information extraction
- natural language
- grammar induction
- theorem prover
- text mining
- theorem proving
- wordnet
- machine translation
- free text
- computational linguistics
- computer algebra
- semantic analysis
- rule induction
- semantic relations
- word sense disambiguation
- knowledge representation
- named entity recognition
- proof planning
- question answering
- artificial intelligence
- text processing
- inductive learning
- language processing
- inductive logic programming
- computational biology
- ontology learning
- concept formation
- program synthesis
- mathematical expressions
- named entities
- equational theories
- concept learning
- lexical resources
- mathematical models
- inference rules
- sentiment analysis
- computer software
- text summarization