LFC-DA: Logical Formula-Controlled Data Augmentation for Enhanced Logical Reasoning
机构 * Guangzhou University（广州大学）
专题命中 逻辑推理 ：reasoning(title,abstract)；logical reasoning(title)；分类 cs.CL
Comments 10 pages, 6 figures
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
1. 逻辑推理 2 篇
U2F: Encouraging SWE-Agent to Seize Novelty without Losing Feasibility
专题命中 逻辑推理 ：reasoning(abstract)；logical reasoning(abstract)
