An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving.
Magdalena WolskaQuoc Bao VoDimitra TsovaltziIvana Kruijff-KorbayováElena KaragjosovaHelmut HoracekArmin FiedlerChristoph BenzmüllerPublished in: LREC (2004)
Keyphrases
- theorem proving
- annotated corpus
- mathematical knowledge
- named entities
- relation extraction
- named entity recognition
- automatic annotation
- computer algebra systems
- theorem prover
- first order logic
- inference rules
- parallel search
- term rewriting
- proof planning
- proof procedure
- information extraction
- geometry theorem proving
- consequence finding
- co occurrence
- natural language processing
- question answering
- unsupervised learning
- multi modal