代码大模型 / AI 编程

Correctness-Aware Repository Filtering Under Maximum Effective Context Window Constraints

在最大有效上下文窗口约束下的正确性感知仓库过滤

Shweta Mishra

机构 * Independent Researcher（独立研究者） 纠错

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

AI总结 本文提出一种正确性感知的上下文卫生框架，通过预执行的大小基 heuristic 过滤器在 tokenization 前拦截仓库扫描，实现低开销的上下文优化，提升代码分析准确性。

AudioMosaic: Contrastive Masked Audio Representation Learning

AudioMosaic：基于对比学习的音频表示学习

Hanxun Huang, Qizhou Wang, Xingjun Ma, Cihang Xie, Christopher Leckie, Sarah Erfani

机构 * School of Computing and Information Systems, The University of Melbourne, Australia（墨尔本大学计算机与信息系统学院） ； Baskin School of Engineering, University of California, Santa Cruz, USA（加州大学圣克鲁兹分校工程学院） ； Institute of Trustworthy Embodied AI, Fudan University, China（复旦大学可信具身人工智能研究所） 纠错

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

AI总结 AudioMosaic通过结构化时频掩码构建正样本对，提升音频表示学习效果，实现跨数据集和声学条件的强迁移能力，优于生成方法。

Comments ICML2026

CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems

CSLibPremiseBench: 结构引导的前提检索与标签鲁棒性用于Lean 4计算机科学定理

Junye Ji

专题命中 仓库级理解 ：repository(abstract)

AI总结 本文提出CSLibPremiseBench，用于评估Lean 4定理和引理声明的前提检索，通过严格任务集和标签鲁棒性分析，探讨结构引导的重排方法。

Comments 12 pages, 10 tables; artifact available at https://doi.org/10.5281/zenodo.20176641

High-Pressure Crystal Structure Database

高压晶体结构数据库

Zhenyu Wang, Qingchang Wang, Junwen Duan, Heng Ge, Xiaoshan Luo, Pengyue Gao, Wei Zhang, Jian Lv, Yanchao Wang, Yanming Ma

专题命中 仓库级理解 ：repository(abstract)

AI总结 本文提出高压晶体结构数据库HPCSD，整合实验与理论高压结构，通过统一DFT框架重新优化，提供标准化数据以加速实验相识别和机器学习势函数开发。

Comments 6 pages, 2 figures