BriefGPT - AI 论文速递 · 2025-01-27T00:00:00Z 从非正式到正式——将大型语言模型融入并评估自然语言需求到可验证的 formal 证明 💡 原文中文，约800字，阅读约需2分钟。 📝 内容提要 本研究分析了大型语言模型（LLMs）在形式化验证任务中的表现。通过构建高质量的指令-响应对，微调后的 LLM 在证明编写方面显著提升了数学、推理和编码能力，为后续研究提供了新思路，并已公开微调模型。 🏷️ 标签 大型语言模型 形式化验证 微调 数学推理 自然语言 证明编写 需求 阅读原文 生成长图 分享链接 已复制链接
