XiaoyangLiu-sjtu/ATLAS_dataset
收藏Hugging Face2025-09-26 更新2025-10-25 收录
下载链接：
https://hf-mirror.com/datasets/XiaoyangLiu-sjtu/ATLAS_dataset
下载链接
链接失效反馈官方服务：
资源简介：
ATLAS数据集是一个用于自动形式化的数据集合，包含117,145个数据点。它由三个主要部分组成：54641个合成数据示例，22103个通过证明增强的示例，以及40401个通过逆否增强的示例。
The ATLAS dataset is a collection of 117,145 data points for autoformalization, comprising three main components: 54,641 synthetic examples, 22,103 examples enhanced with proof-based augmentation, and 40,401 examples generated using contraposition-based augmentation.
提供机构：
XiaoyangLiu-sjtu
