hanwenzhu/test-minictx-view
收藏Hugging Face2025-02-08 更新2025-02-15 收录
下载链接：
https://hf-mirror.com/datasets/hanwenzhu/test-minictx-view
下载链接
链接失效反馈官方服务：
资源简介：
miniCTX是一个用于神经定理证明的数据集，包含了不同配置的验证集和测试集。每个数据条目包括定理陈述、前序文件内容、元数据信息等。数据集适用于研究如何在上下文中进行定理证明。
miniCTX is a dataset for neural theorem proving, which includes validation and test sets for different configurations. Each entry in the dataset consists of theorem statements, preceding file contents, metadata, and more. The dataset is suitable for studying theorem proving in the context.
提供机构：
hanwenzhu
