💻 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
💻 computer science

Physics-informed graph learning of collapse distance in complex networks

本文引入了“崩溃距离”(collapse distance)——一种用于量化网络失效接近程度的可配置安全裕度指标,并提出了 TCR-GIN,这是一种物理启发式的图学习框架,能够高效且准确地估计该指标,从而在各类复杂网络中实现实时安全管理和预警信号。

Xin Lu, Jie Zhang, Tao Wang, Yatai Ji, Hua He, Zhengqiu Zhu, Bo-quan Zhang, Xin Zhou, Changjun Fan, Bin Chen, Manlio De (…)2026-07-07
💻 computer science

Diacritic-Aware Post-OCR Correction for Vietnamese Scanned Documents: A Lightweight Baseline for Low-Quality Document Digitization

本文提出了一种轻量级、资源高效的 OCR 后处理纠错流水线,专门通过结合图像预处理、基于词典的纠错以及基于规则的恢复技术来解决越南语扫描文档中的声调符号错误,从而提高其准确性,为低资源数字化场景提供了一个实用的基准。

Nguyễn Tuệ An, Trần Thị Lan2026-07-07