brando/debug1_af
收藏Hugging Face2023-10-20 更新2024-03-04 收录
下载链接：
https://hf-mirror.com/datasets/brando/debug1_af
下载链接
链接失效反馈官方服务：
资源简介：
---
license: apache-2.0
---
If you find this please cite it:
```
@software{brando2021ultimateutils,
author={Brando Miranda},
title={Ultimate Utils - the Ultimate Utils library for Machine Learning and Artificial Intelligence},
url={https://github.com/brando90/ultimate-utils},
year={2021}
}
```
it's not suppose to be used by people yet.
It's under **apache license 2.0** too.
Files are
```
Topic # of theorems # Statements Selected (floor)
Polynomial 515 0
Polynomial_Factorial 47 11
```
提供机构：
brando
原始信息汇总
数据集概述
数据集许可证
- 许可证类型：Apache License 2.0
数据集内容
- 主题：Polynomial, Polynomial_Factorial
- 统计信息：
- Polynomial: 515 theorems, 0 selected statements
- Polynomial_Factorial: 47 theorems, 11 selected statements
