代码大模型 / AI 编程

TypeProbe: Recovering Type Representations from Hidden States of Pre-trained Code Models

TypeProbe：从预训练代码模型的隐藏状态中恢复类型表示

Giuliano Gorgone, Fausto Carcassi

机构 * ILLC, University of Amsterdam（逻辑、语言与计算研究所，阿姆斯特丹大学） 纠错

专题命中 程序分析与验证 ：code model(title,abstract)；分类 cs.CL、cs.AI、cs.PL

AI总结 研究代码模型内部编码类型信息的情况，利用Java和Python代码示例的并行数据集探测预训练代码模型的残差流获取类型表示，发现跨语言类型表示等结果，且结构对一些变化有鲁棒性，还发布了代码和数据集。

Comments 18 pages, 12 figures. Accepted at ESSLLI 2026 (StuS; double-blind)