代码大模型 / AI 编程

Skillware: A Software Ontology and Engineering Lifecycle for Persistent Behavioral Artifacts

Skillware：用于持久行为工件的软件本体与工程生命周期

Haodi Fan, Zucong Lan

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

AI总结 研究针对智能体技能成为持久行为工件却缺乏相关软件本体的问题，引入Skillware，通过Skill Artifact和Skillware Unit管理工件，阐述相关条件与证据，为智能体能力提供可识别、可组合、可维护及可演化的软件本体与工程生命周期。

Comments 26 pages, 6 figures, 5 tables

ARQ: Agentic CodeQL Query Refinement for C/C++ Vulnerability Detection

ARQ：用于C/C++漏洞检测的智能CodeQL查询优化框架

Chunyi Wang, Yunfei Ke, Junfeng Yang, Yun-Yun Tsai, Penghui Li

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

AI总结 本文提出ARQ智能框架，利用合成C/C++程序的执行证据和LLM优化CodeQL查询，无需标注数据等，优化后查询的真阳性最多提升119.8%，还修复了长期悬而未决的问题并发现新漏洞。

Bankruptcy Prediction via Hybrid Resampling and Stacking Ensemble Techniques with Explainable Artificial Intelligence (XAI)-Driven Analysis

结合可解释人工智能（XAI）分析的混合重采样与堆叠集成技术的破产预测

Obu-Amoah Ampomah, Edmund Fosu Agyemang, Kofi Acheampong, Louis Agyekum, Enock Adu Bonsu, Eric Nyarko

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

AI总结 本研究提出整合多技术的破产预测框架，在不平衡金融数据中优化少数类检测，经实验验证了模型性能，可助力财务困境企业的早期预警系统建设。

Comments 24 pages, 7 figures, 8 tables

DKD-KAN: A Lightweight knowledge-distilled KAN intrusion detection framework, based on MLP and KAN

DKD-KAN：一种轻量级的知识蒸馏KAN入侵检测框架，基于MLP和KAN

Mohammad Alikhani

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

AI总结 本文提出了一种基于MLP和KAN的轻量级入侵检测框架，利用DKD方法实现知识蒸馏，有效减少模型参数规模并保持高检测性能。

KAN-HAR: A Human activity recognition based on Kolmogorov-Arnold Network

KAN-HAR：基于Kolmogorov-Arnold网络的人体活动识别

Mohammad Alikhani

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

AI总结 该研究提出基于Kolmogorov-Arnold网络（KAN）的人体活动识别（HAR）方法，利用三轴加速度计与MotionSense数据集验证，KAN在分类性能相当或更优的同时参数更少，为HAR提供高效可解释方案。