pkuAI4M/lean_wkbk
收藏Hugging Face2024-11-22 更新2024-12-14 收录
下载链接：
https://hf-mirror.com/datasets/pkuAI4M/lean_wkbk
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含多个特征字段，如id、status、tactic、state_before、state_after、natural_language_statement、answer、formal_statement和input。这些字段可能用于描述某种状态转换或逻辑推理任务，其中natural_language_statement和formal_statement可能分别表示自然语言和形式化语言的陈述。数据集包含一个训练集分割，共有25214个样本，总大小为22510191字节。
This dataset includes multiple feature fields such as id, status, tactic, state_before, state_after, natural_language_statement, answer, formal_statement, and input. These fields might be used to describe some state transition or logical reasoning tasks, where natural_language_statement and formal_statement could represent statements in natural and formal languages, respectively. The dataset contains a training split with 25,214 samples, totaling 22,510,191 bytes.
提供机构：
pkuAI4M
