Ujan/math500_formal_prover
收藏官方服务：
资源简介：
一个问答对数据集，包含自然语言和形式语言问题，以及答案和解决方案，按主题和难度级别分类。
A dataset of question-answering pairs with both natural language and formal language questions, including answers and solutions, categorized by subject and difficulty level.
提供机构：
Ujan
