BriefGPT.xyz
Ask
alpha
关键词
proof
搜索结果 - 7
从内在动机学习形式数学
通过构造一个 agent,它能够自我产生推测和证明,我们探索了从自有公理中探索数学的方法。使用约束解码和类型导向综合的方法,我们在依赖类型理论中对数学领域进行公理化,从中采样有效的推测,同时使用相同的模型生成策略和价值函数来引导证明搜索,从
→
PDF
6 days ago
二元感知机容量的注记
解决二进制感知器容量 αc 的问题,作者给出并证明了一个上界 αc < .847。
PDF
5 months ago
关于信息和证明的关系
本文提出了一种基于证明的信息量度量方法,该方法以涉及待证公式的可能证明集合(即 “知识库”)定义概率度量,使用熵的方法计算信息量。
PDF
2 years ago
复盘 CFR+ 和交替更新
CFR + 算法是 CFR 算法在解决不完全信息博弈时的一个变种,在各种问题中具有更快的实证性能。尽管其漏洞并不影响解决方案的准确性,我们还是可以提供新的证据来证明其理论上限正确性。
PDF
6 years ago
关于仿射定向拟阵公理化的重新评估
本文提供了一种修复和简化主定理证明的替代证明方法,涉及仿射有向拟阵的公理化和错误构造的讨论。
PDF
8 years ago
图中最小分离集的数量
本研究探讨图上极小分离集合的最大个数,给出了该个数的上界和下界,并使用简单和基础的证明方式,同时提出对图中潜在的最大团的改进下界。
PDF
9 years ago
离散节点域定理
本研究详细证明了 Courant 的节点域定理的两个离散模拟。
PDF
24 years ago
Prev
Next