Automating Formalization of Mathematics with Machine Learning and Data Mining.

Published in: CICM Workshops (2019)

Keyphrases

machine learning and data mining
evolutionary computation
data mining and machine learning
data mining
machine learning
constraint satisfaction
data reduction
artificial neural networks
data mining techniques
genetic algorithm
computational intelligence
transfer learning