TAUR-dev/agg__BC__s1k_R1
收藏官方服务：
资源简介：
该数据集包含四个浮点类型特征：验证、向后链接、回溯和子目标。它只有一个训练集split，包含一个example，总大小为32字节。数据集下载后大小为2067字节。
The dataset includes four float64 features: verification, backward_chaining, backtracking, and subgoals. It has one training set split with one example, totaling 32 bytes in size. The download size of the dataset is 2067 bytes.
提供机构：
TAUR-dev
