Solver agent

VeriGeo框架生成可验证的几何问题以供AI推理

研究人员开发了VeriGeo，一个用于生成可控且可验证的几何问题的新颖框架。该系统使用一个Author代理来创建问题，一个Solver代理来生成解决方案，并通过共享的动作序列确保一致性。VeriGeo采用三阶段流水线来检查数值、解析和全局一致性，并使用一个反思机制来修复错误。在VeriGeo生成的数据上进行微调，已在GeoQA基准测试上取得了最先进的性能，并在PGPS9K和MathVista-GPS上取得了优异的结果。