💻 computer science

A Temporal Deep Feature Transfer Hybrid of LSTM and Gradient Boosting Machine for Multi Granularity Smart Grid Electricity Demand Forecasting

本文提出了 TDF-LSTGBM,一种新颖的两阶段混合架构,该架构从堆叠式 LSTM 的倒数第二层提取时间特征,并将其与消费者及时间属性相结合用于梯度提升机,从而在针对五类消费者的多粒度智能电网电力需求预测中,实现了比传统 LSTM 和 ARIMA 模型显著更高的准确率。

SambasivaRao Naraboina2026-07-07
💻 computer science

Algorithmic Penalty for Non-Native Voices: A Three-Arm Diagnostic Accuracy Audit of Five Commercial AI Text Detectors Against Pre-LLM Scientific Literature — Protocol for the AUDIT-AI Study

AUDIT-AI 研究是一项预注册的三臂诊断准确性审计,旨在量化商业 AI 文本检测器是否系统性地将来自非英语母语机构的长篇科学文献误分类为 AI 生成,并将其与母语作者的作品及经证实的 AI 改写作品进行对比。

Adnan Agha, Eram Anwar2026-07-07
💻 computer science

A Machine-Checked Cost Analysis of the BMSSP Recurrence in Isabelle/HOL With a Non-Vacuous Size-Parametric Runtime Witness

本文展示了在 Isabelle/HOL 中对 2025 年确定性 O(mlog2/3n)O(m \log^{2/3} n) SSSP 算法所基于的 BMSSP 递推关系的首次机器检查形式化,在不依赖公理或未经证明的假设的情况下,为该算法在无界图族上的 O(V(lnV)2/3)O(|V| \cdot (\ln |V|)^{2/3}) 运行时复杂度提供了一个非空虚的、规模参数化的证明。

Arthur Ramos, David Hulak, Ruy de Queiroz2026-07-07