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

面向数学发现的神经符号协作：组合设计领域的案例研究

我们从神经符号推理的角度研究数学发现，其中AI代理由大型语言模型（LLM）驱动，结合符号计算工具和人类战略指导，共同产生了一项新的组合设计理论成果。本研究的人类-

作者:Hai Xia, Carla P. Gomes, Bart Selman · 语言:en

前往原址学习

简介

我们从神经符号推理的角度研究数学发现，其中AI代理由大型语言模型（LLM）驱动，结合符号计算工具和人类战略指导，共同产生了一项新的组合设计理论成果。本研究的人类-

返回教程库 · 察元AI产品家族