Zicheng Lyu

Identifiers

No identifiers captured yet.

Papers (2)

1. Re$^2$Math: Benchmarking Theorem Retrieval in Research-Level Mathematics cs.AI · 2026 · author #1
2. Load--Reserve Wasserstein Propagation for Isotropic Diffusion Samplers cs.LG · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Zengfeng Huang 2 shared papers
• Shengzhong Zhang 1 shared papers
• Wenjie Yang 1 shared papers