Vivacem/lean-workbook-prompt_nl
收藏Hugging Face2025-03-18 更新2025-04-12 收录
下载链接：
https://hf-mirror.com/datasets/Vivacem/lean-workbook-prompt_nl
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了自然语言描述、答案、标签、正式描述、证明和提示等信息的文本数据。数据集分为训练集，共有140,214个示例，数据集大小为129,171,185字节。
The dataset includes text data with features such as natural language statements, answers, tags, formal statements, proofs, and prompts. The dataset is split into a training set with a total of 140,214 examples, and the dataset size is 129,171,185 bytes.
提供机构：
Vivacem
