BriefGPT.xyz
Ask
alpha
关键词
constrained sampling
搜索结果 - 5
紧支持上的对数凹采样：一个通用的近端框架
提出了一个支持各种投影选项的通用近端框架，基于凸紧致支撑体上定义的强对数凹分布进行采样，并与多种采样方法无缝集成，主要研究集中在约束采样的 Langevin 型采样算法，提供了 W1 和 W2 误差的非渐进上界，详细比较了这些方法在约束采样
→
PDF
a month ago
受限领域中的无学习率贝叶斯推理
通过利用凸优化中的 coin betting 思想，将约束取样视为概率测度空间上的镜像优化问题，我们介绍了一套完全不依赖学习率的基于粒子的约束取样算法，并引入了现有约束取样算法的统一框架。数值实验表明，我们的算法在清单、公平约束、后选推理等
→
PDF
a year ago
基于梯度的语言模型约束采样
该论文探讨了从预先训练的语言模型中受约束地生成文本的问题，并介绍了一种名为 MuCoLa 的采样过程，通过组合语言模型的对数可能性与任意（可微分）约束，以及使用 Langevin Dynamics 定义的马尔科夫链来生成文本。结果显示，Mu
→
PDF
2 years ago
基于数据驱动的布尔函数合成方法 Manthan
Manthan 是一种基于数据驱动的方法，将布尔函数综合视为分类问题，依赖于约束采样和自动推理等技术，通过对 609 个基准测试案例的评估，证明了其在现有技术上的显著改进，解决了当前技术不能解决的 60 个基准测试案例。
PDF
4 years ago
AAAI
约束采样与计数：通用哈希遇见 SAT 求解
本文探讨了一种利用通用哈希和 SAT 求解器的方法，可以在不牺牲正确性保证的同时，处理具有数十万个变量的公式，解决了人工智能中受限采样和计数的两个基本问题，这对于概率推理及规划，约束随机验证等方面有着广泛应用，并探讨一些需要解决的挑战。
PDF
9 years ago
Prev
Next