实体
Visual Sudoku
Visual Sudoku
PulseAugur coverage of Visual Sudoku — every cluster mentioning Visual Sudoku across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的AS2架构实现了端到端的全微分神经符号推理
研究人员推出了一种新颖的神经符号架构——基于注意力的软答案集（AS$^2$），旨在实现端到端的全微分推理。该系统使用连续方法近似离散符号求解器，从而能够对整个模型进行基于梯度的优化。AS$^2$在符号域上的概率分布上运行，并通过最小化固定点残差进行学习，允许通过约束检查进行微分，而无需外部求解器。该架构在视觉数独等任务上表现出色，准确率接近完美，并在CLEVR-Hans基准测试中取得了优异成绩。
-
研究人员为离散逻辑问题开发了基于梯度的方法
研究人员开发了一种将基于梯度的方法应用于离散逻辑域的新颖方法，这是神经符号AI中的一项重大挑战。他们的方法利用哥德尔语义创建了一个同态映射，将连续解释映射到布尔解释，从而实现微分同时保留逻辑结构。该技术有效地将基于梯度的方法转化为布尔可满足性的离散局部搜索，并在SAT基准测试和Visual Sudoku上的实验验证了其性能。