代码大模型 / AI 编程

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data

Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, Yunqi Liu, Yu Chen, Yuntian Liu, Yang Jiao, Tao Luo

专题命中 仓库级理解 ：repository(abstract)；分类 cs.CL、cs.AI、cs.LG

Comments Accepted to NeurIPS 2025

LongCodeZip: Compress Long Context for Code Language Models

Yuling Shi, Yichun Qian, Hongyu Zhang, Beijun Shen, Xiaodong Gu

机构 * Shanghai Jiao Tong University（上海交通大学） ； Stanford University（斯坦福大学） ； Chongqing University（重庆大学） 纠错

专题命中 仓库级理解 ：code generation(abstract)；分类 cs.SE、cs.CL

Comments Accepted to ASE 2025. Code available at https://github.com/YerbaPage/LongCodeZip