arXiv · cs.AI · Rikhil Amonkar, Stuti Mohan, Kevin Nguyen, Ceyhun Efe Kayan, Ronan Le Bras, Li Zhang · 8 小时前模型评分52
研究发现大语言模型作为形式化器时出现类求解器行为
Solver-Like Behavior in Large Language Models as Formalizers
导读
研究提出大语言模型作为形式化器（大语言模型（LLM，Large Language Model）-as-formalizer）时存在类求解器行为（SLB，solver-like behavior），即模型在写出形式程序之前的推理轨迹里就完成了赋值、检验和排除，常常直接得出完整答案。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
事件类型：研究发布
证据摘录
- “We find that the trace routinely does the solver's job, assigning, testing and ruling out values until it often reaches the full answer; we call this solver-like behavior (SLB).”
来源：arXiv · cs.AI · arxiv.org