Vivacem/lean-workbook-mixnl
收藏Hugging Face2025-03-18 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/Vivacem/lean-workbook-mixnl
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含自然语言表述、答案、标签、正式表述、数据集划分、证明和提示等字段。自然语言表述和答案是字符串类型，标签和证明是序列类型。数据集分为训练集，大小为237826712字节，共有280428个示例。
The dataset includes fields for natural language statements, answers, tags, formal statements, dataset splits, proofs, and prompts. Natural language statements and answers are of string type, while tags and proofs are sequence types. The dataset is split into a training set, which is 237826712 bytes in size and contains 280428 examples.
提供机构：
Vivacem
