Jingyang Li

1. MiniMax-01: Scaling Foundation Models with Lightning Attention
   2025/01/14 by Aonian Li, MiniMax, Ao Li +191 · 3 voices · 36 citations
   Computer Science · #Computation and Language (cs.CL) #Computer Graphics and Visualization Techniques #Computer Vision and Pattern Recognition (cs.CV) #FOS: Computer and information sciences #cs.CL #cs.CV
2. MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling
   2026/06/11 by Jiacheng Chen, Xinyu Zhang, Shunkai Zhang +20 · 14 voices · 1 citation
   #cs.LG #cs.AI #cs.CL
3. MiniMax-M1: Scaling Test-Time Compute Efficiently with Lightning Attention
   2025/06/16 by MiniMax, :, Ao Li +208 · 56 citations
   Computer Science · #Parallel Computing and Optimization Techniques #Advanced Neural Network Applications #Computer Graphics and Visualization Techniques
4. Nonconvex Stochastic Bregman Proximal Gradient Method with Application to Deep Learning
   2023/06/26 by Kuangyu Ding, Ding, Kuangyu, Jingyang Li +3 · 2 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Mathematics #Machine Learning (cs.LG) #Machine Learning and ELM #Optimization and Control (math.OC) #Sparse and Compressive Sensing Techniques #Stochastic Gradient Optimization Techniques
5. A Survey on Neural Open Information Extraction: Current Status and Future Directions
   2022/05/24 by Shaowen Zhou, Bowen Yu, Zhou, Shaowen +13 · 1 citation
   Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
6. Online Tensor Learning: Computational and Statistical Trade-offs, Adaptivity and Optimal Regret
   2023/06/06 by Jingyang Li, Jian-Feng Cai, Li, Jingyang +4 · 1 citation
   Engineering · Mathematics · #Advanced SAR Imaging Techniques #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Sparse and Compressive Sensing Techniques #Tensor decomposition and applications
7. Towards Automated Formal Verification of zkEVMs Using LLM-Guided Constraint Synthesis
   2026/07/22 by Shichen Huang, Zhenghe Jiang, Yi Jiang +3
   #cs.SE