Kaiyue Wen

Identifiers

• name variant Kaiyue Wen 0.60 · backfill

Papers (3)

1. Pseudo-Formalization for Automatic Proof Verification cs.LO · 2026 · author #3
2. Scaling Self-Play with Self-Guidance cs.LG · 2026 · author #2
3. Gated Attention for Large Language Models: Non-linearity, Sparsity, and Attention-Sink-Free cs.CL · 2025 · author #5

Mentions

• 2605.20531 #3 · arxiv_oai · confidence 0.70 Kaiyue Wen

Frequent Coauthors

• Luke Bailey 2 shared papers
• Tengyu Ma 2 shared papers
• Bo Zheng 1 shared papers
• Dayiheng Liu 1 shared papers
• Fei Huang 1 shared papers
• Jingren Zhou 1 shared papers
• Junyang Lin 1 shared papers
• Kefan Dong 1 shared papers
• Le Yu 1 shared papers
• Mohammed Abouzaid 1 shared papers
• Rui Men 1 shared papers
• Slim Barkallah 1 shared papers
• Songlin Yang 1 shared papers
• Suozhi Huang 1 shared papers
• Tatsunori Hashimoto 1 shared papers
• Zekun Wang 1 shared papers
• Zeyu Huang 1 shared papers
• Zihan Qiu 1 shared papers