Xinyi Wan

According to our database, Xinyi Wan authored at least 9 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

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

Adv. Eng. Informatics, 2025

2024

Balancing Pipeline Parallelism with Vocabulary Parallelism.

Man Tsung Yeung, Penghui Qi, Min Lin, Xinyi Wan

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, Dirk J. Gruühagen, Wiro J. Niessen, Stefan Klein, Martijn P. A. Starmans

CoRR, 2024

Pipeline Parallelism with Controllable Memory.

Penghui Qi, Xinyi Wan, Nyamdavaa Amar, Min Lin

CoRR, 2024

Zero Bubble Pipeline Parallelism.

Penghui Qi, Xinyi Wan, Guangxing Huang, Min Lin

CoRR, 2024

Zero Bubble (Almost) Pipeline Parallelism.

Penghui Qi, Xinyi Wan, Guangxing Huang, Min Lin

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Coq Formalization of ZFC Set Theory for Teaching Scenarios.

Xinyi Wan, Ke Xu, Qinxiang Cao

Int. J. Softw. Informatics, 2023

Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.

Xinyi Wan, Qinxiang Cao

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2020

Feel Vibration: Challenge-Response Mobile Authentication with Covert Channel.

Weidong Luo, Bowen Lan, Xinyi Wan, Zhihong Liu, Yong Zeng, Jianfeng Ma

Proceedings of the 20th IEEE International Conference on Communication Technology, 2020