9 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.CL2024★ 1 cited
MemoryFormer: Minimize Transformer Computation by Removing Fully-Connected Layers
Ning Ding, Yehui Tang, Haochen Qin +6
In order to reduce the computational complexity of large language models, great efforts have been made to to improve the efficiency of transformer models such as linear attention a…
math.NA2024
Computational Graph Representation of Equations System Constructors in Hierarchical Circuit Simulation
Zichao Long, Lin Li, Lei Han +10
Equations system constructors of hierarchical circuits play a central role in device modeling, nonlinear equations solving, and circuit design automation. However, existing constru…
cs.AI2023★ 9 cited
LEGO-Prover: Neural Theorem Proving with Growing Libraries
Haiming Wang, Huajian Xin, Chuanyang Zheng +11
Despite the success of large language models (LLMs), the task of theorem proving still remains one of the hardest reasoning tasks that is far from being fully solved. Prior methods…