登录后查看消息通知
搜索
常见问题
消息
登录
arazn-jsonl-v2
收藏
kaggle
2024-04-07 更新
2024-04-26 收录
下载链接:
https://www.kaggle.com/datasets/youssefzaghloul/arazn-jsonl-v2
下载链接
链接失效反馈
官方服务:
购买咨询
问题咨询
资源简介:
应用场景:
创建时间:
2024-04-07
相关数据集
arazn-jsonl-v1
kaggle
2024-03-04 更新
0
0
moisamidi/yt-dataset-short-v2-jsonl-split
--- license: mit language: - uk --- ## Documentation The dataset construction pipeline is described in Section 4.3 of the paper. The corresponding experimental results for the models trained on this
Hugging Face
2026-05-01 更新
0
0
l2repository/jsonl
--- license: apache-2.0 ---
Hugging Face
2026-04-08 更新
0
0
Arazn-json-v1
kaggle
2024-03-04 更新
0
0
FrenzyMath/lsv2-mathlib-v4.28.0-rc1-jsonl
LeanSearch v2 — Mathlib v4.28.0-rc1语料库(JSONL格式)是一个数据集,其中每条记录对应Mathlib v4.28.0-rc1(一个数学库版本)中的一个声明。该数据集使用LLM(大语言模型)生成的非正式描述作为嵌入输入,这些描述是构建配套cuVS索引的原始来源。数据集旨在支持定理证明和检索任务,与Lean4和mathlib标签相关。
Hugging Face
2026-05-18 更新
1
0
© 2023-2026 上海数据发展科技有限责任公司 版权所有
沪ICP备17003045号-15
沪公网安备31010402336585号
热门搜索
社区交流群
科研交流群
商业服务
数据资源
寻源服务
数据采集
标注服务
数据产品
代理销售
数据领域
凭证登记
数据产品
介绍推广