SD-GPS

新框架SD-GPS通过求解器驱动的自动形式化增强几何问题求解能力

研究人员推出了一种新颖的几何问题求解框架SD-GPS，该框架将神经直觉与符号推理相结合。该方法通过使用符号求解器作为执行神谕来解决自动形式化和定理预测中的瓶颈。该框架采用求解器驱动的自动形式化，以可执行性作为训练信号，并通过验证定理证明生成和验证辅助引理以克服演绎僵局。在基准数据集上的评估表明，SD-GPS的性能优于现有方法，突显了将多模态感知与形式系统相结合以实现可验证问题求解的好处。