BriefGPT - AI 论文速递 · 2025-04-28T00:00:00Z 大语言模型能否学习形式逻辑？一种数据驱动的训练与评估框架 💡 原文中文，约600字，阅读约需2分钟。 📝 内容提要 本研究探讨大型语言模型（LLM）的逻辑推理能力，提出了一种新的数据增强方法以训练传统逻辑证明。结果表明，LLM在短证明中表现良好，但在复杂证明时能力下降。模板转化显著提高了模型的准确性，适用于不同规模的模型。 🏷️ 标签 大型语言模型 大语言模型 数据增强 模型准确性 逻辑推理 逻辑证明 阅读原文 生成长图 分享链接 已复制链接
