uclanlp/TaoBench
收藏Hugging Face2026-03-18 更新2026-04-05 收录
下载链接：
https://hf-mirror.com/datasets/uclanlp/TaoBench
下载链接
链接失效反馈官方服务：
资源简介：
---
license: cc-by-4.0
language:
- en
tags:
- Math
- Formal_Theorem_Proving
size_categories:
- n<1K
configs:
- config_name: TaoBench & TaoBenchMathlib
data_files:
- split: test
path: TaoBench_TaoBenchMathlib.json
---
# TaoBench Do Automated Theorem Prover LLMs Generalize Beyond MathLib?
[**🌐 Homepage**](https://taobench.github.io/) | [**🐱 Github**](https://github.com/ataylor24/Lean-Contextualize) | [**📖 Paper**](https://arxiv.org/abs/2603.12744)
## Intro
<img src="./misc/Teaser_Figure.png" width="400" />
## Citation
```
@ PLACEHOLDER
```
提供机构：
uclanlp
