- ICML在函数空间中学习目标网络
我们提出了一种新的值函数近似算法 Lookahead-Replicate(LR),它通过在函数空间中对两个网络保持等价来学习值函数。我们证明了 LR 在学习值函数方面的收敛性,并通过经验证明 LR 在 Atari 基准测试中显著改进了深度强 - 一种核岭回归的非渐进理论:确定性等效、测试误差和 GCV 估计器
通过对核岭回归进行一般性等价性和谱特性的分析,证明了从数据中可以获得核运算符的特征分解来近似预测错误,并证明广义交叉验证方法可以用于估计核岭回归的测试误差和最优正则化参数。
- 反事实公平并非人口均衡,以及其他观察
对因果概念和纯概率概念之间的等价性陈述应谨慎对待。本文研究最近关于反事实公平与人口平衡之间等价的主张,并发现该主张经不起深入研究的验证。我也将借此机会澄清一些关于反事实公平的更广泛的误解。
- LLM-SQL-Solver:LLMs 能否确定 SQL 等价性?
通过使用大型语言模型和提示技术,本研究探讨了判断两个 SQL 查询之间的等价性的问题,并研究了其在 SQL 生成方面的应用。实验结果表明,大型语言模型是帮助数据工程师编写语义上等价的 SQL 查询的有前景的工具,但仍存在挑战,并且是评估 S - 论辩的防御语义:重访
通过引入新的语义 —— 防御语义,本文研究了 Dung 的抽象论证框架,并提出了两种类型的防御、防御等价性以及接受论证的两种理由,进而定义了摘要的根等价性。
- 一类特定稀疏正定矩阵的精确行列式
基于稀疏高斯图模型,我们提供了协方差矩阵行列式的闭式解。我们的分析基于模型的局部因子的傅里叶变换,得到了应用矩阵行列式引理在变换后的图模型上的闭式表达式。在此背景下,我们还定义了两个高斯图模型之间的等价概念。
- 贝叶斯稳定性之园
我们展示了学习理论文献中的许多稳定性定义是等价的,我们区分了两个稳定性定义家族:依赖于分布的稳定性和独立于分布的贝叶斯稳定性。在每个家族中,我们建立了各种定义之间的等价性,涵盖了近似差分隐私、纯差分隐私、可复制性、全局稳定性、完美泛化、TV - infoGAN 的二层网络的目标函数等式特性
在无监督生成对抗网络 (infoGAN) 中,判别器和生成器通过最大化互信息函数来解决最小最大问题。研究表明随着判别器和生成器样本数量趋近于无穷大,infoGAN 中的两个目标函数变得等价。通过考虑经验和总体版本目标函数之间的差异,并结合判 - 工业缺陷分割中卷积神经网络的位移等效性研究
在工业缺陷分割任务中,常用的度量指标是像素精度和交并比 (IoU),然而模型的输出一致性 (或等效性) 经常被忽视。本文提出了一种全新的上 / 下采样层对抗 CNN 中传统采样层的不足,并通过自适应窗口模块和组件注意力模块来改善图像边界变化 - 命题 Krom 逻辑程序的最小模型和一致等价的代数表征
本研究提供了关于最小模型语义等价性和命题 Krom 逻辑程序的一致等价性的代数表征。
- 关于线性代数在图形中的表现能力
本文研究了以线性代数为基础的图查询语言 MATLANG 对于表示为邻接矩阵的图在各种片段中等价性的表征问题,并详细探讨了 MATLANG 中的线性代数操作对它们区分图形的能力的影响。
- MMClark-congruential 语言的决策问题
针对一类无上下文语法,研究了等价性的可决定性问题,证明了 Clark-congruential grammar 类中此问题是可决定的,同时考虑了如何检查 CFG 是否属于此类,并证明在给定 CFG 是 DCFG 的情况下此问题是可决的。
- NIPS从压缩的角度看统计学习
本文研究了样本压缩方案与统计学习之间的关系,探究了学习能力与可压缩性之间的等价性,并在多类别分类问题中研究了统计学习理论。作者证明了在零 / 一损失分类的情况下,可学习性等价于对数样本大小的压缩,并且一致收敛意味着恒定大小的压缩。作者还探究 - 通过测量等变性和等价性来理解图像表示
本文探讨了图像表示的数学属性,如同变性,不变性和等价性等,提出了多种方法来实现这些属性,并应用到流行的表示中来揭示其结构的有益方面。
- MM1 - 向量量子有限自动机的等价性判定
本文研究了由 Bertoni 等人和 Kondacs 和 Watrous 提出的控制语言 (CL-1QFAs) 和测量 - 多个(MM-1QFAs)1-way 量子有限自动机的等价性,给出了两种 1-way 有限自动机的等价性性质以及多项式 - 逻辑中的冗余性 I: CNF 命题公式
本文研究了知识库的冗余问题,探讨了检查 CNF 公式是否冗余的复杂度,及根据规定的大小检查是否存在一个不可简化的等价子集。同时,还讨论了不同等价定义下的冗余问题。