Chenggang Li

1. Seed1.5-VL Technical Report
   2025/05/11 by Dong Guo, Faming Wu, Guo, Dong +287 · 136 citations
   Computer Science · #Advanced Neural Network Applications #Artificial Intelligence (cs.AI) #Computer Vision and Pattern Recognition (cs.CV) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Multimodal Machine Learning Applications
2. 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
3. The fractional d'Alembert's formulas
   2018/08/21 by Chenggang Li, Li, Cheng-Gang, Miao Li +5 · 1 citation
   Mathematics · #FOS: Mathematics #Fractional Differential Equations Solutions #Functional Analysis (math.FA) #Mathematical functions and polynomials #Nonlinear Differential Equations Analysis
4. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
   2025/12/19 by Jiangjie Chen, Chen, Jiangjie, Wenxiang Chen +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