Zheng Yuan
Record snapshot: Sep 3, 2026. Coverage and affiliations may be incomplete or historical.
Selected work
5- Qwen Technical ReportSaved credit: Contributor · 2023Explore people connected to this work →
- RRHF: Rank Responses to Align Language Models with Human Feedback without tearsSaved credit: First author · 2023Explore people connected to this work →
- #InsTag: Instruction Tagging for Analyzing Supervised Fine-tuning of Large Language ModelsSaved credit: Contributor · 2023Explore people connected to this work →
- Seed-Prover: Deep and Broad Reasoning for Automated Theorem ProvingSaved credit: Contributor · 2025Explore people connected to this work →
- Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperienceSaved credit: Contributor · 2025Explore people connected to this work →