实体
Geometry3K
Geometry3K
PulseAugur coverage of Geometry3K — every cluster mentioning Geometry3K 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 条
-
新框架SD-GPS通过求解器驱动的自动形式化增强几何问题求解能力
研究人员推出了一种新颖的几何问题求解框架SD-GPS，该框架将神经直觉与符号推理相结合。该方法通过使用符号求解器作为执行神谕来解决自动形式化和定理预测中的瓶颈。该框架采用求解器驱动的自动形式化，以可执行性作为训练信号，并通过验证定理证明生成和验证辅助引理以克服演绎僵局。在基准数据集上的评估表明，SD-GPS的性能优于现有方法，突显了将多模态感知与形式系统相结合以实现可验证问题求解的好处。
-
研究：第一阶段训练影响VLM熵，而非最终结果
一篇新的研究论文探讨了不同第一阶段训练方法对视觉语言模型（VLM）的影响。研究发现，虽然第一阶段训练（如监督微调（SFT）或在线策略蒸馏（OPD））在域内表现相似，但它显著影响模型的熵模式。具体而言，与SFT相比，OPD导致更高的策略熵和答案多样性，尽管这些优势在第二阶段强化学习阶段后会减弱。