★ 4
DODR：潜在空间确定性算子驱动推理架构
DODR将推理重构为高维线性空间中的图计算，使用确定性矩阵算子替代token采样，实现零幻觉保证。实验显示演绎、归纳、溯因算子均有效，跨域演绎准确率达100%，为逻辑推理提供新范式。
arXiv cs.AI56 天前
#逻辑推理
共 6 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
LogicVal 基准以逻辑约束评测文生图模型
论文将文生图评测转化为约束满足问题，提出形式化逻辑框架，在 9 类约束上评测四个先进模型。结果显示最佳模型单物体属性约束准确率 98%，复杂多物体关系约束仅 53%，多约束同时满足时从 84% 降至 20%，识别不可满足提示仅 23%。作者据此提出结合视觉检测与逻辑推理的 LogicVal 评测方…
arXiv cs.AI13 天前
★ 3
研究：大型推理模型日常逻辑推理表现不及思维链提示模型
论文构建基于语言与语用推理现象的基准，系统评测大型推理模型（LRM）与日常推理模式的契合度，并与非推理模型在受控提示下对比。结果显示：当日常推理偏离形式逻辑时推理模型表现下降，部分带思维链提示的非推理模型反而更优，额外指令提示对推理行为控制有限。
arXiv cs.AI13 天前
★ 3
研究提出能力本位评测 CBE，揭示 GPT 与 Qwen 逻辑推理不一致
论文批评当前基准只报告单一准确率，无法反映推理能力的泛化性，提出能力本位评测（CBE）：用参数化生成器在固定能力要求下扩展复杂度，并以等价表述检验正确性。在六款 GPT 与 Qwen 模型上，即使强模型也无法通过跨表述的能力一致性检验；思维链与 GRPO 能提升表现但未解决全部失败，监督式 LoR…
arXiv NLP14 天前
★ 3
SAT-RL 让语言模型借符号求解器做逻辑推理
论文提出 SAT-RL，一个通过多轮工具调用训练大语言模型与 Z3 等可满足性求解器交互的强化学习框架，结合可验证合成数据、监督预热与工具感知奖励。实验显示其在域内与域外逻辑任务上均显著提升符号推理能力，代码已开源。
arXiv cs.AI19 天前
★ 2
论文提出路径方法判定论辩语义一致性条件
论文研究抽象论辩框架中优先语义与稳定语义一致的结构条件，基于攻击图中的路径集合与诱导二元关系给出通用判据。该条件严格推广了 Dung 有限争议性与 SCC 对称性两大经典准则，并引入两族无限路径集生成一致性条件。结果适用于有限与无限论辩框架，同时给出稳定外延存在的充分条件。
arXiv cs.AI10 天前
这个主题的相关资产
相关公司阿里巴巴1