LFC-DA:逻辑公式控制的数据增强以增强逻辑推理能力
计算与语言
2025-11-06 v1
摘要
对于复杂逻辑数据增强,过度依赖人工标注成本高昂,而直接使用大型语言模型生成则会产生难以解释且逻辑同质的样本。为解决这一问题,我们提出LFC-DA,一个由符号逻辑控制的流水线:首先将逻辑文本映射为命题表达式,编译一个紧凑的规则库,然后通过有界状态空间搜索系统地发现有效公式,再将其重新表述为自然语言问题,从而在命题逻辑下同时确保多样性与逻辑严谨性。在ReClor和LogiQA上的实验表明,预训练模型的逻辑推理准确率获得了显著提升,证实了LFC-DA在LLM引导的逻辑数据增强中的有效性。
引用
@article{arxiv.2511.03372,
title = {LFC-DA: Logical Formula-Controlled Data Augmentation for Enhanced Logical Reasoning},
author = {Shenghao Li},
journal= {arXiv preprint arXiv:2511.03372},
year = {2025}
}
备注
10 pages, 6 figures