logical formulas

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

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