Yutong Wang

Identifiers

• name variant Yutong Wang 0.60 · backfill

Papers (9)

1. LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving cs.IR · 2026 · author #4
2. MASPO: Joint Prompt Optimization for LLM-based Multi-Agent Systems cs.AI · 2026 · author #5
3. Hedging Memory Horizons for Non-Stationary Prediction via Online Aggregation cs.LG · 2026 · author #1
4. Category-based and Popularity-guided Video Game Recommendation: A Balance-oriented Framework cs.IR · 2026 · author #6
5. Automated Conjecture Resolution with Formal Verification cs.LG · 2026 · author #7
6. WSVD: Weighted Low-Rank Approximation for Fast and Efficient Execution of Low-Precision Vision-Language Models cs.CV · 2026 · author #2
7. Beyond Policy Optimization: A Data Curation Flywheel for Sparse-Reward Long-Horizon Planning cs.AI · 2025 · author #1
8. Weak Supervision Enhanced Generative Network for Question Generation cs.CL · 2019 · author #1
9. Correct Convergence of Min-Sum Loopy Belief Propagation in a Block Interpolation Problem cs.OH · 2017 · author #1

Mentions

• 2508.03018 #1 · arxiv_oai · confidence 0.70 Yutong Wang

Frequent Coauthors

• Bin Dong 2 shared papers
• Bryan Dai 2 shared papers
• Guoxiong Gao 2 shared papers
• Jiedong Jiang 2 shared papers
• Peihao Wu 2 shared papers
• Zeming Sun 2 shared papers
• Baolong Bi 1 shared papers
• Bin Wu 1 shared papers
• David L. Neuhoff 1 shared papers
• Guillaume Sartoretti 1 shared papers
• Haijun Zhang 1 shared papers
• Haiyu Wang 1 shared papers
• Haocheng Ju 1 shared papers
• Jack Jiang 1 shared papers
• Jianghong Ma 1 shared papers
• Jingda Xu 1 shared papers
• Jiyuan Zheng 1 shared papers
• Jun Xiao 1 shared papers
• Kaixin Li 1 shared papers
• Kangzhe Liu 1 shared papers