实体
PGPS9K
PGPS9K
PulseAugur coverage of PGPS9K — every cluster mentioning PGPS9K across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新框架SD-GPS通过求解器驱动的自动形式化增强几何问题求解能力
研究人员推出了一种新颖的几何问题求解框架SD-GPS，该框架将神经直觉与符号推理相结合。该方法通过使用符号求解器作为执行神谕来解决自动形式化和定理预测中的瓶颈。该框架采用求解器驱动的自动形式化，以可执行性作为训练信号，并通过验证定理证明生成和验证辅助引理以克服演绎僵局。在基准数据集上的评估表明，SD-GPS的性能优于现有方法，突显了将多模态感知与形式系统相结合以实现可验证问题求解的好处。
-
VeriGeo框架生成可验证的几何问题以供AI推理
研究人员开发了VeriGeo，一个用于生成可控且可验证的几何问题的新颖框架。该系统使用一个Author代理来创建问题，一个Solver代理来生成解决方案，并通过共享的动作序列确保一致性。VeriGeo采用三阶段流水线来检查数值、解析和全局一致性，并使用一个反思机制来修复错误。在VeriGeo生成的数据上进行微调，已在GeoQA基准测试上取得了最先进的性能，并在PGPS9K和MathVista-GPS上取得了优异的结果。