SAT dataset

Figshare2025-09-12 更新2026-04-28 收录

下载链接：

https://figshare.com/articles/dataset/SAT_dataset/30109384

下载链接

链接失效反馈

官方服务：

资源简介：

The number of variables and clauses from 0 to 600 is approximately 4.26

创建时间：

2025-09-12

SAT

Gridded hourly precipitation based on a linear average of three non-gauge-corrected satellite-based precipitation products (IMERG-Early, PERSIANN-CCS, and GSMaP_NRT)

DataCite Commons2025-06-01 更新50

SAT

Gridded hourly precipitation based on a linear average of three non-gauge-corrected satellite-based precipitation products (IMERG-Early, PERSIANN-CCS, and GSMaP_NRT)

DataCite Commons2022-09-13 更新40

sat

该数据集包含了数学问题的相关信息，包括变量的数量(num_var)、子句的数量(num_clause)、问题提示(prompt)、解决方案(solution)、问题类别(category)和唯一标识符(uid)。数据集分为训练集，共有960个示例，总大小为2279959字节。

Hugging Face2025-06-03 更新50

SAT dataset

The number of variables and clauses from 0 to 600 is approximately 4.26

Figshare2025-09-12 更新30

SAT

Gridded hourly precipitation based on a linear average of three non-gauge-corrected satellite-based precipitation products (IMERG-Early, PERSIANN-CCS, and GSMaP_NRT)

Figshare2022-01-12 更新00