When Names Disappear: Revealing What LLMs Actually Understand About Code
机构 * FPT Software AI Center（FPT软件AI中心） ； Nanyang Technological University（南洋理工大学） ； University of Texas at Dallas（德克萨斯大学达拉斯分校）
专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.CL
AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
