【研究学习】LLM相关报告（论文整理）_最新的llm论文

作者：秋刀鱼在做梦 | 2024-08-09 11:45:59

踩

构建网络大模型NetGPT的思考与实践

在这里插入图片描述

微软亚洲研究院、北大、北航等机构的研究人员，通过97个回合的苏格拉底式严格推理，成功让GPT-4得出了P≠NP的结论。（文章来源：Large Language Model for Science: A Study on P vs. NP）
数学定理证明，一直是人类科学领域的一颗明珠。现在大语言模型开始用于数学定理证明。来自加州理工学院、
NVIDIA、麻省理工学院、加州圣巴巴拉大学、德克萨斯大学奥斯汀分校的一群研究者研发了开源平台LeanDojo，构建了一个LLM定理证明的交互平台。（文章来源：LeanDojo: Theorem Proving with Retrieval-Augmented Language Models）
大模型+具身智能（文章来源：AgentBench: Evaluating LLMs as Agents）
大模型+具身智能；多智能体通信协作（文章来源：Agents: An Open-source Framework for Autonomous Language Agents）
大模型+具身智能（文章来源：

声明：本文内容由网友自发贡献，不代表【wpsshop博客】立场，版权归原作者所有，本站不承担相应法律责任。如您发现有侵权的内容，请联系我们。转载请注明出处：https://www.wpsshop.cn/w/秋刀鱼在做梦/article/detail/953121