Mathematics with large language models as provers and verifiers
机构 * CNRS LIX Ecole Polytechnique, Institut Polytechnique de Paris（高等理工学院巴黎理工研究所）
专题命中 代码与定理证明 ：verifier(abstract)；分类 cs.CL、cs.AI、cs.LG
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
关注微信公众号
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
机构 * CNRS LIX Ecole Polytechnique, Institut Polytechnique de Paris（高等理工学院巴黎理工研究所）
专题命中 代码与定理证明 ：verifier(abstract)；分类 cs.CL、cs.AI、cs.LG
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈