💻 computer science

The World Is a Hypothesis: Epistemic Control for Executable World-Model Agents in Novel Interactive Environments

本文介绍了 THEA,一种由提示词定义的修正策略,它将可执行的世界模型视为可证伪的理论,用以编排父代理与专家子代理,在显著降低成本的同时,在 25 个 ARC-AGI-3 游戏中的 22 个上实现了最先进的性能,并确保假设修正过程是显式的、可审计的且具有成本效益的。

Bruno Laureano dos Santos2026-07-28
💻 computer science

A Modular Image Manipulation Localization Framework using a Dual-Stream Classifier and Conditional Diffusion Models

本文提出了一种用于图像篡改定位的新型两阶段模块化框架,该框架首先通过融合 RGB 和 SRM 特征的双流分类器对篡改类型进行分类,随后利用带有混合损失函数的专门化条件扩散模型来生成精确的篡改掩码,在基准数据集上实现了具有竞争力的性能。

Zohaib Hamdule, Venkatanareshbabu Kuppili2026-07-28
💻 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