💻 computer science

Adaptive Training Controller (ATC): An Autotuning Framework for CNN-Based Plastic Waste Classification Using the PLASTIC Dataset

本文通过引入一个新的领域特定 PLASTIC 数据集并提出自适应训练控制器(ATC)——一种超越了 Optuna 等现有工具、在实现 ResNet101 高达 94.89% 准确率的同时降低了计算资源需求的与架构无关的自动调优框架——来解决塑料垃圾分类的挑战。

SHYAMASREE KARMAKAR, Sukanya Saha, Sunita Roy, Ranjan Mehera, Rajat Kumar Pal2026-07-28
💻 computer science

Can a Large Language Model Serve as the Missing Second Reviewer? Prominence Bias, Retrieval Effects, and a Confidence-Fabrication Gap in an Empirical Evaluation of Two Published Meta-Analyses

这项实证评估表明,尽管大语言模型在配备检索工具时能够识别出人类审查员遗漏的真实错误并显著提高研究召回率,但由于存在显著性偏差、跨论文混淆以及虚构不存在的不一致性等持续性问题,它们仍然无法成为人类验证的可靠替代品。

Paul Fontelo2026-07-28
💻 computer science

Cyber-Physical Orchestration of Emergency Department Services Through a Bidirectional Digital Twin and a Deep Reinforcement Learning Agent: Architectural Design, In SilicoValidation, and Critical Analysis of Performance Under Demand Stress

本文提出并验证了一种集成双向数字孪生、深度强化学习智能体以及可解释人工智能层的信息物理架构,用于优化急诊科调度,在证明其能显著降低高需求压力下的峰值占用率的同时,也批判性地揭示并解决了验证过程中出现的特定仪器伪影问题。

Joseph Javier Sánchez Acuña, Mario Anzures García2026-07-28
💻 computer science

The Machine Proposes. The Proof Disposes: Neuro-Symbolic Synthesis of Formally Verified Markov Usage Models from Natural Language Requirements

本文介绍了神经符号 MBST,这是一个通过集成 L* 学习、语法约束的大语言模型以及凸优化,将自然语言需求自动合成形式化验证的马尔可夫使用模型,从而实现高保真故障检测与覆盖率,在显著超越纯神经基准模型的同时,消除了安全关键系统中人工建模瓶颈的框架。

Nathan Ginting2026-07-28
💻 computer science

A Calibration-Aware Reference Architecture for Resilient Supply Chain Planning: Integrating Conformal Probabilistic Demand Forecasting with Scenario-Based Stochastic Vehicle Routing

本文提出了一种参考架构及开源实现,通过将符合性概率预测与基于场景的随机路径规划相结合,架起了供应链规划中机器学习与运筹学之间的桥梁,并通过合成回测实证表明,未经校准的分位数预测会导致显著的覆盖不足和缺货风险,从而验证了校准感知接口对于可靠决策支持的必要性。

Joseph Javier Sánchez Acuña2026-07-28