Youyuan Zhang

Identifiers

• name variant Youyuan Zhang 0.60 · backfill

Papers (2)

1. Modality-Decoupled Online Recursive Editing cs.LG · 2026 · author #2
2. DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent cs.AI · 2026 · author #1

Mentions

• 2605.20273 #2 · arxiv_oai · confidence 0.70 Youyuan Zhang

Frequent Coauthors

• Chuqin Geng 1 shared papers
• Fangming Liu 1 shared papers
• Hangrui Bi 1 shared papers
• Jialiang Sun 1 shared papers
• Jing Li 1 shared papers
• Siyuan Li 1 shared papers
• Wenjie Ma 1 shared papers
• Xujie Si 1 shared papers
• Zhaoyu Li 1 shared papers