Tianyang Zhan

1. Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
   2025/07/31 by Luoxin Chen, Jinming Gu, Chen, Luoxin +69 · 2 voices · 34 citations
   #cs.AI #cs.CL
2. 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)
3. 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