Remo Pareschi
PulseAugur coverage of Remo Pareschi — every cluster mentioning Remo Pareschi across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
国际象棋研究映射突显AI战略推理的差距
一篇新近发表在arXiv上的系统性映射研究，分析了关于战略推理的近期研究，重点关注国际象棋作为模型领域。该研究将研究分为人类棋手、传统国际象棋引擎、神经网络和大型语言模型（LLMs）几类。研究表明，虽然大多数研究集中在态势评估和行动选择上，但显式规划、解释和人机协作等领域仍未得到充分探索。该论文提出了在这些未充分探索领域的未来研究方向，并强调了国际象棋在弥合战略推理的认知和计算视角方面的潜力。
-
神经符号框架使用组合范畴语法重构大型语言模型输出
研究人员提出了一个神经符号框架，利用组合范畴语法（CCG）将大型语言模型（LLMs）的输出重构为类型化的组合推导。该方法虽然不声称LLMs内部实现了CCG，但表明LLM的输出可以以增量方式被可听地重构。该框架超越了自然语言，扩展到Solidity、OWL和SQL等形式语言，利用了Curry-Howard对应关系。它能够针对外部知识源检查组合结构失败和幻觉内容。
-
新的分析性溯因框架增强人机协同
研究人员引入了分析性溯因（Analytic Abduction），一个专注于溯因推理分析模式的新型人机协同框架。该方法通过维护多个候选解释来识别导致复杂观测状态的潜在因素，并仅在满足特定治理条件时才承诺结论。该框架的核心是 \kappa-\tau 装置，它量化了假设之间的认知交互，并根据决策风险设定承诺阈值。该方法旨在提供清晰、共享的协同对象，抵制过早收敛，为决策者提供带有支持性证据的竞争性解释场景。