Proof-Pattern Recognition and Lemma Discovery in ACL2.
Jónathan HerasEkaterina KomendantskayaMoa JohanssonEwen MacleanPublished in: LPAR (2013)
Keyphrases
- pattern recognition
- image processing
- image analysis
- neural network
- data mining
- scientific discovery
- signal processing
- natural language learning
- knowledge discovery
- theorem proving
- theorem prover
- discovery process
- dimensionality reduction
- feature extraction
- computer vision
- pattern recognition problems
- automated theorem proving
- johnson lindenstrauss
- recent advances
- databases
- real time
- graph matching
- pattern analysis
- speech recognition
- artificial intelligence
- machine learning
- linear logic
- database