BriefGPT.xyz
Ask
alpha
关键词
proof generation
搜索结果 - 5
递归证明定理
POETRY 使用逐级递归的方式在 Isabelle 定理证明机中证明定理，通过在每一级搜索可验证的证明草图并专注于解决当前级别的定理或猜想，从而解决了自动定理证明中的挑战。
PDF
a month ago
SymBa：用于多步自然语言推理的符号式向后推理
通过引入符号性的自上而下求解器，与大型语言模型的集成，SymBa 在多步推理基准测试中（ProofWriter，Birds-Electricity，GSM8k，CLUTRR-TF，ECtHR Article 6）相对于基线算法实现了性能、证
→
PDF
5 months ago
EMNLP
使用验证器引导搜索生成自然语言证明
本文介绍了一种新的逐步方法 NLProofS，通过在给定假设的条件下学习生成相关步骤，从而在 NLP 中解决证明生成的问题，并在 EntailmentBank 上取得了最先进的性能。
PDF
2 years ago
ACL
可解释的证明生成：通过迭代反向推理实现
本文提出 IBR 模型，是一个迭代反向推理模型，用于解决基于规则的问答证明生成任务。IBR 通过迭代反向预测证明路径的节点和边缘，增强了推理过程的可解释性，同时利用节点和历史路径的详细表示进行推理，提高了推理的效率和准确性。实验结果表明，与
→
PDF
2 years ago
EMNLP
PRover: 可解释推理的证明生成系统
我们提出了 PROVER，一种可解释的 transform-based 模型，能够同时回答基于规则的二元问题并生成相应的证明，经过实验表明，在 QA 任务中，PROVER 的证明生成精度为 87％，而在零 - shot 评估中，与 Rule
→
PDF
4 years ago
Prev
Next