MedMimic: Physician-Inspired Multimodal Fusion for Early Diagnosis of Fever of Unknown Origin. - Minrui Chen 001; Yi Zhou; Huidong Jiang; Yuhan Zhu; Guanjie Zou; Minqi Chen; Rong Tian; Hiroto Saigo (CoRR, 2025)

SAPSE-Synergy: Balancing Formal Soundness and Empirical Coverage in Neural Theorem Proving. - Minrui Chen 001; Huidong Jiang; Hiroto Saigo (FM (1), 2026)