🧑🔬 Shen Zheng — papers of 2025 — 2 papers, the most cited first2 papers · all years of Shen ZhengBFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem ProvingAnnual Meeting of the Association for Computational Linguistics (ACL)Ran Xin, Chenguang Xi, Jie Yang, et al.2025 · 49 citationsSeed-Coder: Let the Code Model Curate Data for ItselfarXiv:2506.03524ByteDance Seed, Yuyu Zhang, Jing Su, et al.2025 · 25 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/shen-zheng/year/2025/