Keyphrases
- theorem proving
- digital photographs
- theorem prover
- mathematical proofs
- formal proofs
- wide range
- reinforcement learning
- natural deduction
- raster images
- digital pictures
- formal proof
- hidden markov models
- inference rules
- clustering algorithm
- artificial intelligence
- genetic algorithm
- information retrieval
- equational theories
- data sets