ProofWriter

kaggle2021-03-14 更新2024-03-07 收录

下载链接：

https://www.kaggle.com/datasets/mathurinache/proofwriter

下载链接

链接失效反馈

官方服务：

资源简介：

contains many small rulebases of facts and rules, expressed in English

创建时间：

2021-03-14

ProofWriter

ProofWriter: Generating implications, proofs, and abductive statements over natural language

DataCite Commons2026-01-07 更新80

ProofWriter

该数据集旨在测试大型语言模型的演绎推理能力，包含已知的facts、已知的rules、目标问题以及对应的标签。每个示例都被归类为三种标签之一：已证明、已反驳或未知。数据集按推理深度分为五个子集，每个部分均抽取了600个示例，任务专注于演绎推理。

arXiv440

ProofWriter

这些数据集伴随着论文“ProofWriter：在自然语言上生成含义、证明和溯因陈述”。它们包含更新的 RuleTaker 风格的数据集，其中包含 50 万个问题、答案和基于自然语言规则库的证明，用于表明 Transformer 可以模拟对用语言表达的规则进行推理，包括证明生成。它包括使用封闭和开放世界语义的变体。证明包括中间结论。额外的注释提供数据来训练迭代的 ProofWriter 模型以及溯

OpenDataLab2026-07-05 更新1870

ProofWriter

OpenXLab20

renma/ProofWriter

--- license: mit language: - en size_categories: - n<1K --- # Github https://github.com/teacherpeterpan/Logic-LLM/blob/main/outputs/logic_programs/ProofWriter_dev_gpt-4.json # Reference ``` @inprocee

Hugging Face2024-05-22 更新170