代码大模型 / AI 编程

Containing the Reproducibility Gap: Automated Repository-Level Containerization for Scholarly Jupyter Notebooks

缩小可重复性差距：面向学术Jupyter笔记本的自动化仓库级容器化

Sheeba Samuel, Daniel Mietchen, Hemanta Lo, Martin Gaedke

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

AI总结 本文提出自动化可重复性工程流水线，通过依赖推断、容器生成和隔离执行，评估学术笔记本的执行环境，解决依赖问题并提升执行稳定性，但发现仍存在低输出保真度的可重复性差距。

Beyond Symbolic Solving: Multi Chain-of-Thought Voting for Geometric Reasoning in Large Language Models

超越符号求解：用于大语言模型几何推理的多链式思维投票

Md. Abu Bakor Siddique, Shahrin Hossain, Sadman Ahmed Siam, Syed Rifat Raiyan, Hasan Mahmud, Md Kamrul Hasan

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

AI总结 本文提出MARS-GPS方法，通过生成多个并行推理流程并结合Python代码执行，利用熵值进行排序并多阶段投票，提升大语言模型在几何推理中的性能，实验显示其在Geometry3K数据集上达到88.8%的准确率，比现有最佳水平提升11%。

Comments Under review, 4 figures, 7 tables

Towards Reliable Truth-Aligned Uncertainty Estimation in Large Language Models

迈向大语言模型中可靠的真实性对齐不确定性估计

Ponhvoan Srey, Quang Minh Nguyen, Xiaobao Wu, Anh Tuan Luu

机构 * Nanyang Technological University（南洋理工大学） ； KAIST（韩国科学技术院） ； Shanghai Jiao Tong University（上海交通大学） 纠错

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

AI总结 本文提出Truth AnChoring方法，通过将原始分数映射到事实对齐分数，解决不确定性估计指标在低信息区域的非判别性问题，提升大语言模型的可靠性。

Binned semiparametric Bayesian networks for efficient kernel density estimation

分箱半参数贝叶斯网络用于高效的核密度估计

Rafael Sojo, Javier Díaz-Rozo, Concha Bielza, Pedro Larrañaga

机构 * Aingura IIoT ； Universidad Politécnica de Madrid, Departamento de Inteligencia Artificial（马德里理工大学人工智能系） 纠错

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

AI总结 本文提出了一种新的概率半参数模型，利用数据分箱降低非参数分布中核密度估计的计算成本。通过引入稀疏分箱核密度估计和傅里叶核密度估计两种新的条件概率分布，解决高维数据带来的维度灾难问题，实验表明该模型在速度上显著优于传统半参数贝叶斯网络。

Comments Major revision after reviewer comments. Title changed based on reviewer suggestion. Improved introduction, complexity analysis and experiments. Submitted to Information Sciences

A ROS 2 Wrapper for Florence-2: Multi-Mode Local Vision-Language Inference for Robotic Systems

为Florence-2设计的ROS 2封装器：面向机器人系统的多模式本地视觉语言推断

J. E. Domínguez-Vidal

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

AI总结 本文提出一个ROS 2封装器，实现Florence-2模型的三种交互模式，支持本地部署和容器化运行，验证了消费级硬件在视觉语言任务中的可行性。

Comments 5 pages, 1 figure

Portable and Secure CI/CD for COBOL: Lessons from an Industrial Migration

便携式和安全的CI/CD用于COBOL：来自工业迁移的教训

Andreas Askholm, Kenneth Johnsen, Jacopo Mauro

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

AI总结 本文探讨了在受监管行业中迁移COBOL CI/CD管道的挑战，通过容器化架构减少运行时间并降低维护成本，为遗留系统现代化提供指导。

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

半自动化的Vlasov-Maxwell-Landau平衡形式化

Vasily Ilin

机构 * University of Washington（华盛顿大学） 纠错

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

AI总结 本文展示了一个完整的Lean 4形式化，用于Vlasov-Maxwell-Landau系统中的平衡特性描述，通过AI辅助数学研究流程，结合AI推理模型、编码工具和专业证明器，实现了高效的形式化验证。

Comments 11 figures