PulseAugur
实时 05:31:52
实体 LLM Argument Verification Matrix

LLM Argument Verification Matrix

PulseAugur coverage of LLM Argument Verification Matrix — every cluster mentioning LLM Argument Verification Matrix across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_104772 ·

    新框架ForEx验证LLM在逻辑谬误检测中的推理过程

    研究人员开发了ForEx,一个新颖的框架,旨在形式化验证大型语言模型(LLMs)在检测逻辑谬误过程中的推理。该系统将LLM的解释翻译成Lean4,一种形式化验证语言,以检查推理是否可以从编码的前提中推导出来,而不仅仅是评估原始论证的逻辑有效性。使用LOGIC-Climate数据集进行的实验显示,虽然超过90%的LLM输出可以被翻译成可验证的形式推理链,但与人类标注的一致性仅约为20%。这突显了形式可推导性与人类对齐推理之间存在的显著差…