minimal-core

标签

#minimal-core

从错误到证明：最小核心引导的神经符号约束求解修复

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

本文介绍了一种用于神经符号约束求解的最小核心引导修复方法，其中语言模型利用不可满足核心中的证明来纠正翻译错误，从而减少解决方案中的虚构内容。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈