mathematical proof | BriefGPT

关键词mathematical proof

搜索结果 - 4

作为间接推理器的大型语言模型：自动推理的逆否和矛盾
本文提出了一种新的间接推理（IR）方法，利用逆否命题和矛盾的逻辑来解决事实推理和数学证明等 IR 任务，以加强大型语言模型（LLMs）的推理能力。与传统 DR 方法相比，我们的 IR 方法通过对话模板触发 LLMs 进行基于矛盾推论的 IR
PDF5 months ago
独立假设的形式化
该研究介绍了一种启发式估计法和一组启发式估计器的概念，这些估计器并不如现有的候选估计器那样具有直观的一致性属性，最终提出一个重要的开放问题：是否存在一种启发式估计器，既能正式化独立假设的直观有效应用而又不接受错误的论证？
PDF2 years ago
自然证明器：基于语言模型的数学证明生成
通过人工提供或查找背景参考条件，NaturalProver 能够生成数学证明，融合符号和自然语言，提高了下一步建议和生成证明的质量，在某些需要短证明的定理上具有证明能力，并且提供的下一步建议有超过 40% 的正确和有用率。
PDF2 years ago
开放几何证明社区项目
本文描述了 Open Geometry Prover Community Project 的目标和实施步骤，旨在将不同自动几何定理证明工具的开发整合到一个共同的 “伞下”，以丰富人们的数学体验。
PDF3 years ago