登录后查看消息通知
搜索
常见问题
消息
登录
首页
/
数据集
/
XiaoyangLiu-sjtu/DSR_dataset
XiaoyangLiu-sjtu/DSR_dataset
收藏
Hugging Face
2026-05-20 更新
2026-05-31 收录
数据链接:
https://hf-mirror.com/datasets/XiaoyangLiu-sjtu/DSR_dataset
数据链接
链接失效反馈
官方服务:
问题咨询
购买咨询
在线客服
NEW
资源简介:
--- license: apache-2.0 ---
应用场景:
提供机构:
XiaoyangLiu-sjtu
相关数据集
XiaoyangLiu-sjtu/ATLAS_dataset
自动形式化
机器学习
ATLAS数据集是一个用于自动形式化的数据集合,包含117,145个数据点。它由三个主要部分组成:54641个合成数据示例,22103个通过证明增强的示例,以及40401个通过逆否增强的示例。
Hugging Face
2025-09-26 更新
13
0
© 2023-2026 上海数据发展科技有限责任公司 版权所有
沪ICP备17003045号-15
沪公网安备31010402336585号
热门搜索
社区交流群
科研交流群
商业服务
数据资源
寻源服务
数据采集
标注服务
数据产品
代理销售
数据领域
凭证登记
数据产品
介绍推广