PAug/ProofNetSharp
收藏Hugging Face2025-02-06 更新2025-02-15 收录
下载链接：
https://hf-mirror.com/datasets/PAug/ProofNetSharp
下载链接
链接失效反馈官方服务：
资源简介：
ProofNet#是一个针对Lean 4的形式化自动化和自动证明大学本科生级别数学问题的基准测试，包含371个示例，涵盖实分析和复分析、线性代数、抽象代数和拓扑等主题。
ProofNet# is a benchmark for autoformalization and automatic theorem proving of undergraduate-level mathematics in Lean 4, containing 371 examples covering topics such as real and complex analysis, linear algebra, abstract algebra, and topology.
提供机构：
PAug
