AI·研究
介绍TheoremSmith方法，通过自动化手段大规模合成具有挑战性的数学证明问题，旨在提升大型语言模型的逻辑推理与形式化证明能力。
来源：原文链接 (新窗口)
← 返回搜罗吧首页
本页由搜罗吧(Solo8.cn)信息精选服务自动生成，内容仅供参考，不构成任何建议。