代码大模型 / AI 编程

LoSemB: Logic-Guided Semantic Bridging for Inductive Tool Retrieval

LoSemB：基于逻辑的语义桥接用于归纳工具检索

Luyao Zhuang, Qinggang Zhang, Huachi Zhou, Yujing Zhang, Xiao Huang

机构 * The Hong Kong Polytechnic University（香港理工大学） 纠错

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

AI总结 LoSemB通过逻辑引导的语义桥接框架，在无需重新训练的情况下实现高效归纳工具检索，缓解分布偏移和相似度检索的脆弱性。

DWPP: Dynamic Window Pure Pursuit Considering Velocity and Acceleration Constraints

DWPP：考虑速度和加速度约束的动态窗口纯追求

Fumiya Ohnishi, Masaki Takahashi

机构 * School of Science for Open and Environmental Systems, Graduate School of Science and Technology, Keio University（开放与环境科学学院，科技研究生学校，庆应大学） ； Department of System Design Engineering, Keio University（系统设计工程系，庆应大学） 纠错

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

AI总结 本文提出DWPP方法，通过显式考虑速度和加速度约束，改进移动机器人路径跟踪性能。

Comments 28 pages, 12 figures

ICLF: An Immersive Code Learning Framework based on Git for Teaching and Evaluating Student Programming Projects

ICLF：基于Git的沉浸式代码学习框架用于教学和评估学生编程项目

Pierre Schaus, Guillaume Derval, Augustin Delecluse

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

AI总结 ICLF是一种基于Git的沉浸式代码学习框架，通过组织管道管理学生编程项目，实现透明评估、抄袭检测和持续进度跟踪。

GAIA: A Global, Multi-modal, Multi-scale Vision-Language Dataset for Remote Sensing Image Analysis

GAIA: 一个全球性的多模态、多尺度遥感图像分析数据集

Angelos Zavras, Dimitrios Michail, Xiao Xiang Zhu, Begüm Demir, Ioannis Papoutsis

机构 * Orion Lab, School of Rural, Surveying and Geoinformatics Engineering, National Technical University of Athens（奥里昂实验室，农村测绘与地理信息工程学院，希腊雅典国家技术大学） ； Institute of Astronomy, Astrophysics, Space Applications and Remote Sensing, National Observatory of Athens（天文、天体物理、空间应用与遥感研究所，希腊雅典国家天文台） ； Department of Informatics and Telematics, Harokopio University of Athens（信息与电信技术系，雅典霍罗科皮欧大学） ； Chair of Data Science in Earth Observation, Technical University of Munich（地球观测数据科学教授职位，慕尼黑技术大学） ； Munich Center for Machine Learning（慕尼黑机器学习中心） ； Faculty of Electrical Engineering and Computer Science, Technische Universität Berlin（电气工程与计算机科学系，柏林技术大学） ； BIFOLD - Berlin Institute for the Foundations of Learning and Data（柏林学习与数据基础研究所） 纠错

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

AI总结 GAIA是一个全球性的多模态遥感图像分析数据集，通过精心构建的图像-文本对提升遥感任务的性能。

Comments 26 pages, 14 figures