MLFMF: Data Sets for Machine Learning for Mathematical Formalization.
Andrej BauerMatej PetkovicLjupco TodorovskiPublished in: NeurIPS (2023)
Keyphrases
- machine learning
- data sets
- knowledge representation
- pattern recognition
- real world
- learning tasks
- supervised classification
- benchmark data sets
- database
- feature selection
- computational intelligence
- supervised learning
- text classification
- knowledge acquisition
- explanation based learning
- machine learning algorithms
- learning systems
- machine learning methods
- computer vision
- artificial intelligence
- data mining
- learning problems
- computer science
- expert systems
- data analysis
- training data
- decision trees
- learning algorithm
- databases
- formal model
- mathematical expressions
- operational semantics
- inductive logic programming
- microarray data
- unsupervised learning
- natural language processing
- training set
- reinforcement learning
- knowledge base
- real time