💻 计算机科学

PVApp: A Cloud-Backed Mobile Framework for Real-Time Consumer Product Verification in Ghana

本文介绍了 PVApp,这是一个利用 Firebase 和二维码扫描技术实现的云端支持型移动框架,旨在实现加纳消费产品的实时验证、审批状态查询及事故报告,并通过功能测试成功验证了其在应对假冒伪劣及劣质商品挑战方面的有效性。

Ibrahim Tanko, Nana Kofi Ahoi Appiah-Badu, Siddique Abubakr Muntaka, Ajugu Simon2026-08-25
💻 计算机科学

Specification-first convergence with an AI coding agent: a case study of dismantling a core architectural invariant across 189 files in a 717k-line codebase with no test oracle and no human code review

本文通过一个案例研究表明,一个在遵循“规范优先”协议、且在没有人工代码审查或预设测试判据的情况下运行的 AI 编程智能体,通过在三天内迭代优化形式化规范并修复 201 个缺陷,成功拆解了一个跨越 189 个文件、涉及 71.7 万行 TypeScript 代码库的核心架构不变性,而总成本仅为 2,430 美元。

Joël Abenhaïm2026-08-25
💻 计算机科学

Adversarial Contingency Auctions: Strategic Multi-Robot Task Allocation under Inconsistent Beliefs and Adversarial Path Blockages

本文介绍了对抗性应急拍卖(Adversarial Contingency Auctions, ACA),这是一种去中心化的多机器人任务分配框架,它通过整合应急分支树和贝叶斯信念模型,使机器人能够在无需全局重新拍卖的情况下,实现针对对抗性路径阻塞的自主局部恢复,从而在动态且不确定的环境中显著提高任务完成率并降低通信开销。

Kumar Mrinal2026-08-25