Diagno-S: Towards Verifiable Medical Reasoning via Diagnostic Decomposition. - Xunfei Zhu; Chenhan Wang; Shangkeng Wu; Puyuan Yang; Tianxiang Xu; Kang Liang (BIBM, 2025)