Liao, Heng

1. LEGO-Prover: Neural Theorem Proving with Growing Libraries
   2023/10/01 by Haiming Wang, Huajian Xin, Wang, Haiming +24 · 38 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Topic Modeling
2. Serving Large Language Models on Huawei CloudMatrix384
   2025/06/15 by Pengfei Zuo, Huimin Lin, Zuo, Pengfei +89 · 3 voices · 15 citations
   Computer Science · #Artificial Intelligence (cs.AI) #Big Data and Digital Economy #Distributed #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Parallel #Parallel Computing and Optimization Techniques #and Cluster Computing (cs.DC) #cs.AI #cs.AR #cs.DC #cs.LG
3. UB-Mesh: a Hierarchically Localized nD-FullMesh Datacenter Network Architecture
   2025/03/26 by Heng Liao, Liao, Heng, Bingyang Liu +60 · 2 citations
   Computer Science · #Graph Theory and Algorithms #Cloud Computing and Resource Management #Distributed and Parallel Computing Systems
4. MemoryFormer: Minimize Transformer Computation by Removing Fully-Connected Layers
   2024/11/20 by Ning Ding, Yehui Tang, Ding, Ning +14 · 2 citations
   Engineering · #Advanced Memory and Neural Computing #Computation and Language (cs.CL) #FOS: Computer and information sciences #Ferroelectric and Negative Capacitance Devices #Photonic and Optical Devices