★ 3
研究提出统一几何状态下的密集神经符号推理
论文提出密集神经符号耦合框架，让神经引导与符号执行共享类型化状态，在每步搜索中通过可执行动作通信。实例化为OmniGeo统一求解平面、解析与立体几何，配合Claude Sonnet 4.6在FormalGeo7K等基准达90.8%宏平均，并解出IMO-AG-30中的21/30题。
arXiv cs.AI27 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出密集神经符号耦合框架，让神经引导与符号执行共享类型化状态，在每步搜索中通过可执行动作通信。实例化为OmniGeo统一求解平面、解析与立体几何，配合Claude Sonnet 4.6在FormalGeo7K等基准达90.8%宏平均，并解出IMO-AG-30中的21/30题。