PulseAugur
中
实时 07:05:21
实体 Equivalent Logical Similarity

Equivalent Logical Similarity

PulseAugur coverage of Equivalent Logical Similarity — every cluster mentioning Equivalent Logical Similarity 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 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_228880 ·

    新方法提高自然语言到逻辑翻译的准确性

    研究人员开发了一种名为分层一致性蒸馏的新方法，以提高将自然语言翻译成逻辑公式的准确性。该方法使用前沿 LLM 生成多个逻辑翻译，然后按语义等价性对它们进行聚类。根据翻译的熵水平，该方法采用多数投票、LLM 作为裁判或统一来选择用于微调较小模型的伪标签。实验表明，在 Pass@K 和逻辑等价相似性指标方面都有显著改进，突显了一致性蒸馏在逻辑翻译中的有效性。