symbolic-integration

标签

#symbolic-integration

立场：神经约束推理中的经认证正确性需要符号集成

arXiv cs.AI ↗ · 2026-08-18 缓存

本文立场论文主张，对于约束满足问题的神经求解器，必须优先考虑符号集成以确保可证明的正确性，特别是在分布偏移下，并以数独为例。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈