From Pixels to Semantics: Edge AI for UAV-Based Critical Infrastructure Inspection
论文探讨了使用轻量级视觉语言模型在边缘设备上实现无人机基础设施检查，从物体检测转向语义理解，以解决传统手动检查成本高和危险的问题。
0 citationsRead paper
Selected work
Representative Papers
Psychosis involves a deficit of information compression in connected speech
研究使用大型语言模型分析精神分裂症患者语言中的信息压缩缺陷，通过衡量 surprisal 差异和内在维度来揭示其与语法组织的关系。
0 citationsRead paper
AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics
为解决物理领域理论论证的严谨性问题，通过构建AxQM基准测试集，使用Lean证明助手自动生成教科书规模的量子力学形式化证明。
0 citationsRead paper
Large-Language Models as a Cognitive Virus
研究通过病毒传播模型探讨大型语言模型在人群中的扩散及其对认知的影响，提出减少传播和增强可逆性以实现认知免疫的方法。
0 citationsRead paper
The Changing Geometry of Grammar: Dimensionality and Neighborhood Reorganization across Transformer Layers
本文研究了Transformer模型中不同词性在各层的几何变化，通过内在维度和邻域结构的变化来解释这种现象，并比较了编码器和解码器的不同演变方式。
0 citationsRead paper
Recent publications
Latest Papers
From Pixels to Semantics: Edge AI for UAV-Based Critical Infrastructure Inspection
论文探讨了使用轻量级视觉语言模型在边缘设备上实现无人机基础设施检查，从物体检测转向语义理解，以解决传统手动检查成本高和危险的问题。
0 citationsRead paper
Psychosis involves a deficit of information compression in connected speech
研究使用大型语言模型分析精神分裂症患者语言中的信息压缩缺陷，通过衡量 surprisal 差异和内在维度来揭示其与语法组织的关系。
0 citationsRead paper
AxQM: A Textbook-Scale Benchmark for Formal Proof Synthesis in a Library of Finite-Dimensional Quantum Mechanics
为解决物理领域理论论证的严谨性问题，通过构建AxQM基准测试集，使用Lean证明助手自动生成教科书规模的量子力学形式化证明。
0 citationsRead paper
Large-Language Models as a Cognitive Virus
研究通过病毒传播模型探讨大型语言模型在人群中的扩散及其对认知的影响，提出减少传播和增强可逆性以实现认知免疫的方法。
0 citationsRead paper
The Changing Geometry of Grammar: Dimensionality and Neighborhood Reorganization across Transformer Layers
本文研究了Transformer模型中不同词性在各层的几何变化，通过内在维度和邻域结构的变化来解释这种现象，并比较了编码器和解码器的不同演变方式。
0 citationsRead paper