💻 计算机科学

Bridging Cybersecurity Expertise Gaps through Human-LLM Collaboration: Trust, Reliance, and Design Imperatives from a Mixed-Methods Study

这项针对 58 名网络安全专业人员的混合方法研究表明,虽然人机协作(Human-LLM collaboration)能提高分诊准确性,但对 AI 建议的依赖程度因任务透明度而异,这为构建能够减轻自动化偏差并支持校准人类判断的、值得信赖且具备上下文感知能力的网络安全助手提出了特定的设计要求。

Shahroz Tariq, Ronal Singh, Mohan Baruwal Chhetri, Surya Nepal, Cecile Paris2026-10-08
💻 计算机科学

Hajj Traffic Lessening: Smart Transportation System Using Smart Contracts and IoT Based on Blockchain

本论文提出并评估了仪式时间窗口智能合约(Ritual Time Window Smart Contract, RTWSC)框架,这是一种结合了基于区块链的智能合约、物联网数据以及电动汽车共享出行,旨在显著减少交通拥堵、排放和等待时间,同时提高朝觐朝圣者分配公平性的集成智能交通系统。

Abdullah Q Alruwaili, Amr M Sauber, Hatem S Abdulkader2026-10-08
💻 计算机科学

Part-Coverage and Faithfulness Decouple in ViT Token Pruning for Fine-Grained Visual Categorization

本文引入了 MIDAS 框架,旨在证明在针对细粒度视觉分类的小型 Vision Transformer 中,针对部分覆盖率(保留物体细节)和忠实度(解释分类器决策)进行优化的 Token 修剪策略在本质上是解耦的,这意味着其中一项指标的提升并不保证另一项指标的同步提升。

Richard Adusei, Kwabena Owusu-Agyeman, Eric Opuku Osei, Michael Asante2026-10-08
💻 计算机科学

Executable Chain-of-Thought Symbolic Regression with Large Language Models for Automated Physical Discovery

本文介绍了 \ours,这是一个带有验证功能的框架,它通过将基于大语言模型的符号回归转化为执行为类型化符号推导图(Symbolic Derivation Graph)的思维链推理过程,通过强制执行硬约束和软验证信号,从而将该过程转变为一个严谨的过程,以生成具有可执行推导轨迹的紧凑且可由机器检查的物理定律。

Lingyi Li2026-10-08