察元AI教程库 · 文章 · 智能体

FGeo-DRL：通过深度强化学习解决几何问题的演绎推理

人类般的自动演绎推理一直是数学与人工智能交叉领域中最具挑战性的开放问题之一。本文是该系列工作的第三篇。我们构建了一个神经符号系统，名为FGeoDRL，用于自动执行人类

作者:Jia Zou, Xiaokai Zhang, Yiming He · 语言:en

简介