Vivacem/lean-workbook-prompt
收藏Hugging Face2025-03-18 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/Vivacem/lean-workbook-prompt
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含自然语言表述的陈述、答案、标签、正式的陈述、数据集划分、证明过程和提示等字段。训练集包含140,214个示例，数据集总大小为108,655,527字节。数据集的具体内容和用途在README中未明确说明。
The dataset includes fields such as natural language statements, answers, tags, formal statements, dataset splits, proof processes, and prompts. The training set contains 140,214 examples, and the total size of the dataset is 108,655,527 bytes. The specific content and purpose of the dataset are not explicitly stated in the README.
提供机构：
Vivacem
