Emotion Experience, Expression, and Perception: Emotion Analysis on Multimodal Social Media Posts
研究通过构建Mult2EMo数据集，分析社交媒体帖子中的文本和图像如何共同表达情绪，以及读者理解这些情绪的能力，强调了触发事件在情绪理解中的重要性。
0 citationsRead paper
Selected work
Representative Papers
Layer Selection in VLMs for Zero-Shot OOD Detection via Multi-Resolution Entropy Estimation
研究解决了医学AI系统中零样本OOD检测问题，通过多分辨率熵估计方法选择最佳中间层表示，提高检测稳定性与性能。
0 citationsRead paper
Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
本文在Isabelle/HOL中采用深浅嵌入方法处理单子二阶逻辑，通过三种嵌入方式实现，并自动化验证其忠实性。
0 citationsRead paper
Zero-Shot 3D Plant Organ Segmentation with SAM3 and Semantic NeRFs
本文提出了一种无需标注的3D植物器官分割方法，结合了文本提示的SAM3分割与语义NeRFs，仅使用多视角RGB图像和类别名称列表即可生成准确的3D标签。
0 citationsRead paper
Property Testing for Recursive Query Languages
研究通过常数查询和单边误差测试递归查询语言的性质，特别是两路正则路径查询和单调Datalog程序，解决了数据库子线性部分查询答案验证问题。
0 citationsRead paper
Recent publications
Latest Papers
Emotion Experience, Expression, and Perception: Emotion Analysis on Multimodal Social Media Posts
研究通过构建Mult2EMo数据集，分析社交媒体帖子中的文本和图像如何共同表达情绪，以及读者理解这些情绪的能力，强调了触发事件在情绪理解中的重要性。
0 citationsRead paper
Layer Selection in VLMs for Zero-Shot OOD Detection via Multi-Resolution Entropy Estimation
研究解决了医学AI系统中零样本OOD检测问题，通过多分辨率熵估计方法选择最佳中间层表示，提高检测稳定性与性能。
0 citationsRead paper
Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)
本文在Isabelle/HOL中采用深浅嵌入方法处理单子二阶逻辑，通过三种嵌入方式实现，并自动化验证其忠实性。
0 citationsRead paper
Zero-Shot 3D Plant Organ Segmentation with SAM3 and Semantic NeRFs
本文提出了一种无需标注的3D植物器官分割方法，结合了文本提示的SAM3分割与语义NeRFs，仅使用多视角RGB图像和类别名称列表即可生成准确的3D标签。
0 citationsRead paper
Property Testing for Recursive Query Languages
研究通过常数查询和单边误差测试递归查询语言的性质，特别是两路正则路径查询和单调Datalog程序，解决了数据库子线性部分查询答案验证问题。
0 citationsRead paper