Generative AI for Math: Part I - MathPile: A Billion-Token-Scale Pretraining Corpus for Math.
Zengzhi WangRui XiaPengfei LiuPublished in: CoRR (2023)
Keyphrases
- artificial intelligence
- mathematical problem solving
- neural network
- knowledge representation
- generative model
- genetic algorithm
- expert systems
- hidden markov models
- case based reasoning
- data driven
- knowledge based systems
- open domain
- tutoring system
- john mccarthy
- ai systems
- small scale
- test set
- intelligent systems
- natural language