代码大模型 / AI 编程

Repository-Aware Metamorphic Relation Generation for Augmented Reality Applications using Large Language Models

基于大型语言模型的增强现实应用的仓库感知变形关系生成

Dibyendu Brinto Bose, Jiawei Qin, Chris Brown

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

AI总结 本文提出一种结合仓库级上下文与推理编排的流水线，利用大型语言模型生成优化的变形关系，在142个移动AR仓库数据集上验证了该方法可构建可靠的领域相关测试预言，能有效检测代码变异。

GEMSS: A Variational Method for Discovering Multiple Sparse Solutions in Classification and Regression Problems

GEMSS: 一种用于在分类和回归问题中发现多个稀疏解的变分贝叶斯方法

Kateřina Henclová, Václav Šmídl

机构 * Faculty of Electrical Engineering, Czech Technical University（捷克技术大学电子工程系） 纠错

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

AI总结 提出GEMSS算法，利用结构化spike-and-slab先验、高斯混合近似后验和Jaccard惩罚，通过变分推断同时发现多个多样化的稀疏特征组合，在128个实验和3个真实数据集上优于对比方法。

Arranging circles of radii 1,2,...,n around a central circle: a Supnick TSP and certified finite optima

将半径为1,2,…,n的圆围绕一个中心圆排列：一个Supnick旅行商问题与已验证的有限最优解

Maurizio Falconi

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

AI总结 该研究针对半径1到n的圆围绕中心圆排列的优化问题，证明其最优循环顺序为Supnick顺序，验证3≤n≤14的全局最优解，提出R*(n)的渐近形式猜想。

Comments 10 pages, 2 figures; source code and certificate artifacts available at https://github.com/falker47/ringmin