Heng Liao

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 4

Top Topics

Learning Capabilities

Theorem Proving

Proof Procedure

Top Venues

Hot Chips Symposium

Publications

Zichao Long, Lin Li, Lei Han, Xianglong Meng, Chongjun Ding, Ruiyan Li, Wu Jiang, Fuchen Ding, Jiaqing Yue, Zhichao Li, Yisheng Hu, Ding Li, Heng Liao
Computational Graph Representation of Equations System Constructors in Hierarchical Circuit Simulation. CoRR (2024)
Haiming Wang, Huajian Xin, Chuanyang Zheng, Lin Li, Zhengying Liu, Qingxing Cao, Yinya Huang, Jing Xiong, Han Shi, Enze Xie, Jian Yin, Zhenguo Li, Heng Liao, Xiaodan Liang
LEGO-Prover: Neural Theorem Proving with Growing Libraries. CoRR (2023)
Heng Liao, Jiajin Tu, Jing Xia, Hu Liu, Xiping Zhou, Honghui Yuan, Yuxing Hu
Ascend: a Scalable and Unified Architecture for Ubiquitous Deep Neural Network Computing : Industry Track Paper. HPCA (2021)
Heng Liao, Jiajin Tu, Jing Xia, Xiping Zhou
DaVinci: A Scalable Architecture for Neural Network Computing. Hot Chips Symposium (2019)
Wenjie Li, Bin Liu, Yang Xu, Heng Liao
Parallel Switch System with QoS Guarantee for Real-Time Traffic. J. Comput. Sci. Technol. 21 (6) (2006)
Heng Liao, Andrew Wolfe
Available Parallelism in Video Applications. MICRO (1997)
Xianzhu Wang, Heng Liao, Sanli Li
DYNAMEM - A microarchitecture for improving memory disambiguation at run-time. J. Comput. Sci. Technol. 11 (6) (1996)