MLFMF: Data Sets for Machine Learning for Mathematical Formalization.
Andrej BauerMatej PetkovicLjupco TodorovskiPublished in: CoRR (2023)
Keyphrases
- machine learning
- data sets
- machine learning algorithms
- knowledge representation
- benchmark data sets
- feature selection
- data analysis
- learning tasks
- machine learning approaches
- explanation based learning
- machine learning methods
- pattern recognition
- training set
- database
- knowledge acquisition
- learning problems
- natural language processing
- learning systems
- real world data sets
- computational intelligence
- active learning
- decision trees
- computer vision
- artificial intelligence
- learning algorithm
- information retrieval
- data mining
- real world
- semi supervised learning
- information extraction
- inductive logic programming
- supervised classification
- machine learning and data mining
- mathematical expressions