Keyphrases
- question answering
- theorem prover
- theorem proving
- natural language processing
- wall street journal
- equational theories
- formal proofs
- information extraction
- mathematical proofs
- digital libraries
- bayesian networks
- image segmentation
- feature selection
- computer vision
- formal proof
- machine learning
- averaged one dependence estimators
- neural network