💻 computer science

Machine Learning Validation Pipelines: From Tabular Benchmarking to Conformal Calibration and Execution-Grounded Agentic Testing

本文综合了41项实证研究的发现,旨在提出一个全面的、多层级的验证框架,该框架从防止数据泄露和可解释性审计,进阶到符合性校准(conformal calibration)以及基于执行的智能体测试,从而解决标准验证方法在处理高风险应用时所忽视的关键失效模式,例如类别不平衡和归因失真问题。

Nancy Gaur, Wasim Mohammed Amin Tambe, Saumya Tripathi2026-09-01
💻 computer science

T3-DEF: A Socio-Technical Framework for Recursive Operational Vulnerability and Verification Diversity in AI-Assisted Systems

本文提出了 T3-DEF 框架,这是一个社会技术分析模型,该模型识别了 AI 辅助系统中不断上升的自动化密度与下降的验证多样性之间存在的关键反向关系,揭示了在 0.58 附近递归操作脆弱性加速的阈值,并强调了维持分布式监督结构以确保安全的必要性。

Dae-Ryung Lee2026-09-01
💻 computer science

Systematizing Data Preparation in Smart Manufacturing via Axiomatic Design: A Toolkit Integrating GUI and Agentic AI

本文提出了一种基于公理化设计的开源工具包,该工具包集成了图形用户界面与智能体人工智能(agentic AI),旨在将智能制造中碎片化、手动的数据准备过程系统地转化为一种可复现、可扩展的科学学科,从而为数字孪生等高级下游应用提供支持。

Angkush Kumar Ghosh, Saman Fattahi, Yu Kogawara, Bahman Azarhoushang, Takuya Okamoto, Sharifu Ura2026-09-01
💻 computer science

Metaheuristic multi-objective access selection inhetNets over a secure MPLS networks

本文提出了一种用于安全 MPLS 异构网络的 AI 驱动、元启发式优化的接入选择框架,该框架利用轻量级 MLP 预测视频 QoE,并利用基于适应度的 SDN 控制器动态选择最优的 LTE/Wi-Fi 切向目标,从而与传统的基于 RSSI 的策略相比,显著提高了视频连续性、网络性能和能量效率。

Narimane Elhilali, Mouncef Filali Bouami, Mostapha Badri2026-09-01
💻 computer science

Quantum Local Density of States for Random k-SAT: An Amplitude-Estimation Primitive and a Clause-Width Regime for Quantum Advantage

本文引入了一种用于随机 k-SAT 的量子局部态密度(LDOS)原语,该原语利用振幅估计来高效估计剩余满足分数,在子句宽度为四或更高时展示了量子优势,同时阐明了正值分数主要是一种结构性计数效应,而非冻结转变的信号。

Michail Gerogiannis, Dimitris Ntalaperas, Nikos Konofaos2026-08-31