Author

Yuyang Zhao

h-index 5 View on Semantic Scholar

We have 2 of 13 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems

ReuF2F is introduced, a Lean 4 benchmark of 244 formalized open problems drawn from Research Experiences for Undergraduates (REU), spanning entry-level open research problems across a broad range of mathematical subfields and adopts a standard coding-agent evaluation setting.

Ze-Yu Zheng, Yi-Yan Liu, Yu-Yang Zhao et al. · 0 citations

Jul 2026

SANA-Video 2.0: Hybrid Linear Attention with Attention Residuals for Efficient Video Generation

This work introduces SANA-Video 2.0, a hybrid video diffusion transformer instantiated at 5B and 14B scales under a unified architecture that recovers softmax-level expressiveness at substantially reduced cost, unlocking scalable long, high resolution video generation.

Junsong Chen, Jincheng Yu, Yitong Li et al. · arXiv.org · 1 citation · ⚡1