Feel Vibration: Challenge-Response Mobile Authentication with Covert Channel. - Weidong Luo; Bowen Lan; Xinyi Wan; Zhihong Liu; Yong Zeng 002; Jianfeng Ma 001 (ICCT, 2020)

Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework. - Xinyi Wan; Qinxiang Cao (SETTA, 2023)

Coq Formalization of ZFC Set Theory for Teaching Scenarios. - Xinyi Wan; Ke Xu; Qinxiang Cao (Int. J. Softw. Informatics, 2023)

Zero Bubble (Almost) Pipeline Parallelism. - Penghui Qi; Xinyi Wan; Guangxing Huang; Min Lin (ICLR, 2024)

Randomly COMMITting: Iterative Convex Optimization for Microstructure-Informed Tractography. - Sanna Persson; Xinyi Wan; Rodrigo Moreno (CDMRI@MICCAI, 2024)

Pipeline Parallelism with Controllable Memory. - Penghui Qi; Xinyi Wan; Nyamdavaa Amar; Min Lin (NeurIPS, 2024)

Zero Bubble Pipeline Parallelism. - Penghui Qi; Xinyi Wan; Guangxing Huang; Min Lin (CoRR, 2024)

AI in radiological imaging of soft-tissue and bone tumours: a systematic review evaluating against CLAIM and FUTURE-AI guidelines. - Douwe J. Spaanderman; Matthew Marzetti; Xinyi Wan; Andrew F. Scarsbrook; Philip Robinson; Edwin H. G. Oei; Jacob J. Visser; Robert Hemke; Kirsten van Langevelde; David F. Hanff; Geert J. L. H. van Leenders; Cornelis Verhoef; et al. (CoRR, 2024)

Balancing Pipeline Parallelism with Vocabulary Parallelism. - Man Tsung Yeung; Penghui Qi; Min Lin; Xinyi Wan (CoRR, 2024)

A state of the art in digital twin for intelligent fault diagnosis. - Changhua Hu; Zeming Zhang; Chuanyang Li; Mingzhe Leng; Zhaoqiang Wang; Xinyi Wan; Chen Chen 051 (Adv. Eng. Informatics, 2025)

Sailor2: Sailing in South-East Asia with Inclusive Multilingual LLMs. - Longxu Dou; Qian Liu 012; Fan Zhou; Changyu Chen; Zili Wang; Ziqi Jin; Zichen Liu; Tongyao Zhu; Cunxiao Du; Penghui Yang 001; Haonan Wang; Jiaheng Liu; et al. (CoRR, 2025)

PipeOffload: Improving Scalability of Pipeline Parallelism with Memory Optimization. - Xinyi Wan; Penghui Qi; Guangxing Huang; Jialin Li; Min Lin (CoRR, 2025)

EMULATE: A Multi-Agent Framework for Determining the Veracity of Atomic Claims by Emulating Human Actions. - Spencer Hong; Meng Luo; Xinyi Wan (CoRR, 2025)

ZeCO: Zero Communication Overhead Sequence Parallelism for Linear Attention. - Yuhong Chou; Zehao Liu; Rui-Jie Zhu 003; Xinyi Wan; Tianjian Li; Congying Chu; Qian Liu; Jibin Wu; Zejun Ma (CoRR, 2025)

Variable-Depth Learning Architecture to Adaptive Multi-User Channel Prediction. - Guanzhang Liu; Xinyi Wan; Hong-Ying Zhang 001; Jiang Xue 001 (IEEE Trans. Wirel. Commun., 2025)