💻 计算机科学

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