Automatically Generalizing Theorems Using Typeclasses (short paper).

Published in: CICM Workshops (2021)

Keyphrases

automatically generated
databases
image sequences
database
learning algorithm
feature extraction
artificial neural networks