Jiayaun Zhang

Identifiers

• name variant Jiayaun Zhang 0.60 · backfill

Papers (1)

1. QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems cs.AI · 2026 · author #4

Mentions

• 2604.24021 #4 · arxiv_oai · confidence 0.70 Jiayaun Zhang

Frequent Coauthors

• Chenyang An 1 shared papers
• Minghao Pan 1 shared papers
• Qihao Ye 1 shared papers