Modeling Others' Minds as Code
机构 * Department of Computer Science, University of Washington(华盛顿大学计算机科学系) ; Department of Computer Science, Johns Hopkins University(约翰霍普金斯大学计算机科学系)
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI、cs.LG
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
机构 * Department of Computer Science, University of Washington(华盛顿大学计算机科学系) ; Department of Computer Science, Johns Hopkins University(约翰霍普金斯大学计算机科学系)
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI、cs.LG