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
