Zhan, Tianyang

1. SuperGPQA: Scaling LLM Evaluation across 285 Graduate Disciplines
   2025/02/20 by M-A-P Team, Xinrun Du, P Team +179 · 85 citations
   Social Sciences · #Artificial Intelligence in Law #Computation and Language (cs.CL) #FOS: Computer and information sciences
2. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
   2025/07/31 by Luoxin Chen, Chen, Luoxin, Jinming Gu +69 · 2 voices · 34 citations
   #cs.AI #cs.CL
3. Seed1.5-Thinking: Advancing Superb Reasoning Models with Reinforcement Learning
   2025/04/10 by Seed, ByteDance, :, Chen, Jiaze +267 · 68 citations
   #Computation and Language (cs.CL) #FOS: Computer and information sciences
4. A Framework for Deep Constrained Clustering
   2021/01/07 by Hongjing Zhang, Tianyang Zhan, Zhang, Hongjing +5 · 1 citation
   Computer Science · #Advanced Clustering Algorithms Research #Advanced Image and Video Retrieval Techniques #FOS: Computer and information sciences #Image Retrieval and Classification Techniques #Machine Learning (cs.LG)
5. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
   2025/12/19 by Jiangjie Chen, Wenxiang Chen, Chen, Jiangjie +40 · 3 citations
   Computer Science · Materials Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning in Materials Science #Mathematics, Computing, and Information Processing