Jiayun Wu

Identifiers

• name variant Jiayun Wu 0.60 · backfill

Papers (2)

1. Momentum Streams for Optimizer-Inspired Transformers cs.LG · 2026 · author #3
2. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction cs.LG · 2025 · author #11

Mentions

• 2605.24425 #3 · arxiv_oai · confidence 0.70 Jiayun Wu
• 2508.03613 #11 · arxiv_oai · confidence 0.70 Jiayun Wu

Frequent Coauthors

• Bohan Lyu 1 shared papers
• Chi Jin 1 shared papers
• Danqi Chen 1 shared papers
• David Acuna 1 shared papers
• Haoyu Zhao 1 shared papers
• Hongzhou Lin 1 shared papers
• Jiawei Ge 1 shared papers
• Jingchu Gai 1 shared papers
• Jingruo Sun 1 shared papers
• Jiri Gesi 1 shared papers
• Jui-Hui Chung 1 shared papers
• Kaiyu Yang 1 shared papers
• Lai Jiang 1 shared papers
• Nai-Chieh Huang 1 shared papers
• Sanjeev Arora 1 shared papers
• Shange Tang 1 shared papers
• Ximing Lu 1 shared papers
• Yejin Choi 1 shared papers
• Yihan Geng 1 shared papers
• Yong Lin 1 shared papers