BriefGPT.xyz
Ask
alpha
关键词
mathematical derivations
搜索结果 - 1
使用大型语言模型生成数学推导
利用大型语言模型 (LLMs) 进行特定领域的数学推导是一项新兴的研究方向,可以帮助发现模型的局限性,潜在地支持数学发现。本文利用符号引擎在大规模上生成方程的推导,并研究 LLMs 在从前提中推导目标方程时的能力。实证结果表明,fine-t
→
PDF
a year ago
Prev
Next