TaoBench
收藏Hugging Face2026-03-12 更新2026-03-16 收录
下载链接：
https://huggingface.co/datasets/uclanlp/TaoBench
下载链接
链接失效反馈官方服务：
资源简介：
TaoBench 是一个用于数学和形式定理证明领域的数据集，规模小于1K。数据集包含 TaoBench 和 TaoBenchMathlib 两个配置，主要用于测试自动定理证明语言模型在 MathLib 之外的泛化能力。数据集语言为英语，采用 CC-BY-4.0 许可证。
提供机构：
UCLA NLP
创建时间：
2026-03-12
