5G-Shark: A Network Security Auditor for 5G Subscriber Privacy and Unauthenticated Signalling Resilience
5G-Shark工具通过标准化的小区重选标准，将合法移动程序转化为攻击手段，评估5G网络中用户隐私和未认证信号的安全性问题。
0 citationsRead paper
Selected work
Representative 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
Recent publications
Latest Papers
5G-Shark: A Network Security Auditor for 5G Subscriber Privacy and Unauthenticated Signalling Resilience
5G-Shark工具通过标准化的小区重选标准，将合法移动程序转化为攻击手段，评估5G网络中用户隐私和未认证信号的安全性问题。
0 citationsRead paper
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