实体
GeoQA
GeoQA
PulseAugur coverage of GeoQA — every cluster mentioning GeoQA across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 2
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
VeriGeo框架生成可验证的几何问题以供AI推理
研究人员开发了VeriGeo，一个用于生成可控且可验证的几何问题的新颖框架。该系统使用一个Author代理来创建问题，一个Solver代理来生成解决方案，并通过共享的动作序列确保一致性。VeriGeo采用三阶段流水线来检查数值、解析和全局一致性，并使用一个反思机制来修复错误。在VeriGeo生成的数据上进行微调，已在GeoQA基准测试上取得了最先进的性能，并在PGPS9K和MathVista-GPS上取得了优异的结果。
-
Theorem-SFT通过教授定理应用来改善模型的推理能力
研究人员开发了一种名为Theorem-SFT的新方法，以提高监督微调（SFT）模型的泛化能力。该方法将重点从记忆具体的解题对转移到理解和应用显式定理。在数学推理基准测试中，Theorem-SFT表现出显著的性能提升，当应用于LLaMA3.2-3B-Instruct和Qwen2.5-VL-7B-Instruct模型时，在MATH和GeoQA数据集上取得了显著的进步。