Reframing Multimodal Complex Document Layout Understanding: A Layout-Aware Multi-Source Reasoning Decision Framework. - Ran Chen 002; Yuyang Zhou; Jingyang Deng; Zeren Zhang; Xuefei Tong; Jinwen Ma; Qinghui Shi; Qian Xu; Yuanjun Li (ECAI, 2025)

Towards Formal Modeling and Verification of the Stellar Consensus Protocol in Z3. - Feiran Lei; Yihao Zhang; Xuefei Tong; Shuaida Wu; Meng Sun (QRS Companion, 2025)