mlfoundations-dev/metamath_asdf
收藏官方服务：
资源简介：
该数据集包含问题、难度等级、问题类型、解决方案和问题ID等五个字段的信息，适用于机器学习模型训练。数据集分为训练集，共有7500个示例。
The dataset includes information of five fields: problem, level, type, solution, and question_id, which is suitable for machine learning model training. The dataset is split into a training set with a total of 7500 examples.
提供机构：
mlfoundations-dev
