Ujan/math500_formal
收藏Hugging Face2026-04-29 更新2026-05-03 收录
下载链接：
https://hf-mirror.com/datasets/Ujan/math500_formal
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含多个特征，包括q_nl（问题自然语言描述）、answer（答案）、solution（解决方案）、subject（主题）、level（级别）、q_fl（问题形式化语言描述）和header（标题）。数据集仅包含一个测试集，共有456个样本，总大小为697483字节，下载大小为234678字节。
The dataset includes several features such as q_nl (question natural language description), answer (answer), solution (solution), subject (subject), level (level), q_fl (question formal language description), and header (header). The dataset contains only a test split with 456 examples, a total size of 697483 bytes, and a download size of 234678 bytes.
提供机构：
Ujan
