University of California, San Diego（加州大学圣迭戈分校）

State-Coupled Volatility in Latent Dynamical Systems: Recovery Under Partial Observation

潜变量动力系统中的状态耦合波动性：部分观测下的恢复

Imani Beckett

机构 * The Herbert Wertheim School of Public Health and Human Longevity Science（赫伯特·韦特海姆公共卫生与人类长寿科学学院） ； University of California San Diego（加州大学圣地亚哥分校） 纠错

AI总结 提出状态耦合随机波动框架，利用粒子期望最大化算法在部分观测下估计潜变量过程方差与平衡点位移的关系，并通过仿真验证了恢复与检测性能。

Comments 40 pages, 16 figures

Limit Analysis of Graph Neural Networks with Wireless Conflict Graphs

基于无线冲突图的图神经网络极限分析

Romina Garcia Camargo, Zhiyang Wang, Alejandro Ribeiro

机构 * Department of Electrical and Systems Engineering, University of Pennsylvania（宾夕法尼亚大学电气与系统工程系） ； Halıcıoğlu Data Science Institute, UCSD（加州大学圣地亚哥分校Halıcıoğlu数据科学研究所） 纠错

AI总结 针对稀疏随机几何图上的图神经网络，通过分析其与确定性网格图的接近性，建立了跨尺度迁移性的理论界限，并在链路调度问题中验证了学习策略的优越性。

Cesarean Scar Defect Segmentation in Transvaginal Ultrasound Images: a Dataset and Benchmark

经阴道超声图像中的剖宫产瘢痕缺损分割：数据集与基准

Yuan Tian, Yue Li, Wei Xia, Tianyu Xu, Jian Zhang, Liye Shi, Jing Liu, Yang Wang, Ming Liu, Qing Xu, Yixuan Zhang, Maggie M. He, Xiangjian He

机构 * Department of Obstetrics and Gynecology, International Peace Maternity and Child Health Hospital affiliated to Shanghai Jiao Tong University School of Medicine（妇产科部门，上海交通大学医学院国际和平妇产儿童医院） ； School of Computer Science, University of Nottingham Ningbo China（Nottingham Ningbo中国大学计算机学院） ； School of Computer Science, University of Nottingham（Nottingham大学计算机学院） ； Department of Computer Science and Engineering, University of California, San Diego（加州大学圣地亚哥分校计算机科学与工程系） ； Department of Ultrasound, International Peace Maternity and Child Health Hospital affiliated to Shanghai Jiao Tong University School of Medicine（超声科，上海交通大学医学院国际和平妇产儿童医院） ； School of Electronic Information and Electrical Engineering, Shanghai Jiao Tong University（上海交通大学电子信息与电气工程学院） ； Department of Cardiology, Gold Coast University Hospital（心内科，Gold Coast大学医院） 纠错

AI总结 针对经阴道超声图像中剖宫产瘢痕缺损（CSD）分割缺乏公开数据集的问题，构建了包含1111张图像和16个视频的CSD数据集，提供像素级标注，并建立了基准以推动医学图像分割算法和临床创新。

Lemmanaid: Neuro-Symbolic Lemma Conjecturing

Lemmanaid: 神经符号引理猜想

Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry, Emily First, Moa Johansson, Sorin Lerner, Nicholas Smallbone

机构 * Department of Computer Science and Engineering University of California, San Diego, USA（计算机科学与工程系，加州大学圣地亚哥分校） ； Department of Computer Science and Engineering Chalmers University of Technology & University of Gothenburg（计算机科学与工程系，查尔姆斯理工大学及哥德堡大学） 纠错

AI总结 提出首个神经符号引理猜想工具LEMMANAID，通过类比数学理论生成引理，结合微调LLM与符号方法，在Isabelle测试集上优于纯神经和纯符号方法。

A Factorized Low-Rank RNN Framework for Uncovering Independent Neural Latent Dynamics and Connectivity

一种分解低秩RNN框架用于揭示独立神经潜在动力学和连接性

Chengrui Li, Yunmiao Wang, Yule Wang, Weihan Li, Dieter Jaeger, Anqi Wu

机构 * University of California, San Diego（加州大学圣迭戈分校） 纠错

AI总结 提出FacRNN框架，通过组间独立假设和部分相关惩罚，在低秩循环神经网络中实现潜在动力学的解耦与可解释性提升。