代码大模型 / AI 编程

Topological quantum color code model on infinite lattice

无限晶格上的拓扑量子颜色码模型

Shiyu Cao, Zhian Jia, Sheng Tan

专题命中 程序分析与验证 ：code model(title,abstract)

AI总结 本研究在无限晶格中分析了颜色码模型，揭示其拓扑序由双层扭码描述，并通过构造弦算子和研究激发性质验证了其拓扑结构。

Comments v1: comments are welcome

CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks

CoRe：通过静态分析任务基准测试LLM的代码推理能力

Danning Xie, Mingwei Zheng, Xuwei Liu, Jiannan Wang, Chengpeng Wang, Lin Tan, Xiangyu Zhang

机构 * Department of Computer Science Purdue University（计算机科学系 帕克森大学） 纠错

专题命中 程序分析与验证 ：code generation(abstract)；program repair(abstract)；分类 cs.SE、cs.AI

AI总结 CoRe通过静态分析任务评估LLM的代码推理能力，发现主流模型在深层次语义理解和多步骤推理上存在不足。

Comments NeurIPS 2025 Datasets & Benchmarks Spotlight