Aug, 2023
基于条件评分的神经符号约束的生成模型
Conditioning Score-Based Generative Models by Neuro-Symbolic Constraints
Davide Scassola, Sebastiano Saccani, Ginevra Carbone, Luca Bortolussi
TL;DR提出了一种从条件的基于分数的生成模型中强制执行任意逻辑约束条件进行采样的方法,采用柔性和数值稳定的神经符号框架来编码逻辑约束条件,并通过有效的启发式算法改进了近似条件采样算法的准确性。