Picture for Heng Liao

Heng Liao

Serving Large Language Models on Huawei CloudMatrix384

Add code
Jun 15, 2025
Viaarxiv icon

MemoryFormer: Minimize Transformer Computation by Removing Fully-Connected Layers

Add code
Nov 20, 2024
Viaarxiv icon

LEGO-Prover: Neural Theorem Proving with Growing Libraries

Add code
Oct 12, 2023
Figure 1 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Figure 2 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Figure 3 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Figure 4 for LEGO-Prover: Neural Theorem Proving with Growing Libraries
Viaarxiv icon