Xinyi Wan

Identifiers

• name variant Xinyi Wan 0.60 · backfill

Papers (8)

1. KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code cs.SE · 2026 · author #2
2. ZeCO: Zero Communication Overhead Sequence Parallelism for Linear Attention cs.LG · 2025 · author #4
3. EMULATE: A Multi-Agent Framework for Determining the Veracity of Atomic Claims by Emulating Human Actions cs.CL · 2025 · author #3
4. PipeOffload: Improving Scalability of Pipeline Parallelism with Memory Optimization cs.LG · 2025 · author #1
5. Sailor2: Sailing in South-East Asia with Inclusive Multilingual LLMs cs.CL · 2025 · author #39
6. Balancing Pipeline Parallelism with Vocabulary Parallelism cs.DC · 2024 · author #4
7. Pipeline Parallelism with Controllable Memory cs.LG · 2024 · author #2
8. Zero Bubble Pipeline Parallelism cs.DC · 2023 · author #2

Mentions

• 2507.01004 #4 · arxiv_oai · confidence 0.70 Xinyi Wan
• 2503.01328 #1 · arxiv_oai · confidence 0.70 Xinyi Wan
• 2505.16576 #3 · arxiv_oai · confidence 0.70 Xinyi Wan
• 2411.05288 #4 · arxiv_oai · confidence 0.70 Xinyi Wan
• 2502.12982 #39 · arxiv_oai · confidence 0.70 Xinyi Wan
• 2405.15362 #2 · arxiv_oai · confidence 0.70 Xinyi Wan
• 2401.10241 #2 · arxiv_oai · confidence 0.70 Xinyi Wan

Frequent Coauthors

• Min Lin 5 shared papers
• Penghui Qi 4 shared papers
• Guangxing Huang 2 shared papers
• Man Tsung Yeung 2 shared papers
• Qian Liu 2 shared papers
• Anh Dao 1 shared papers
• Changyu Chen 1 shared papers
• Chao Du 1 shared papers
• Congying Chu 1 shared papers
• Cunxiao Du 1 shared papers
• Fajri Koto 1 shared papers
• Fan Zhou 1 shared papers
• Haonan Wang 1 shared papers
• Hoang H. Tran 1 shared papers
• Hynek Kydl\'i\v{c}ek 1 shared papers
• Jiaheng Liu 1 shared papers
• Jialin Li 1 shared papers
• Jibin Wu 1 shared papers
• Kridtaphad Sae-Khow 1 shared papers
• Kunat Pipatanakul 1 shared papers