Liang Zhao - Publications, H-index & Citations

Liang Zhao

Xidian University

7H指数

43论文数

163被引数

收录论文 8

发表时间

AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models AutoTestForge：一种面向自然语言处理模型的多维自动化测试框架

ACM Transactions on Software Engineering and Methodology

IF6.2

2026-08-21

PREAI

Hengrui Xing; Cong Tian; Liang Zhao; Zhi Ma; Wensheng Wang; Nan Zhang; Chao Huang; Zhenhua Duan

Intermediate-grained kernel elements pruning with structured sparsity

NEURAL NETWORKS

IF6.3

2024-12-01

PREAI

Zhang, Peng; Zhao, Liang; Tian, Cong; Duan, Zhenhua

Efficient verification of neural networks based on neuron branching and LP abstraction 基于神经元分支和LP抽象的神经网络有效验证

NEUROCOMPUTING

IF6.5

2024-09-01

PREAI

Zhao, Liang; Duan, Xinmin; Yang, Chenglong; Liu, Yuehao; Dong, Yansong; Wang, Xiaobing; Wang, Wensheng

A multi-granularity CNN pruning framework via deformable soft mask with joint training

NEUROCOMPUTING

IF6.5

2024-03-01

PREAI

Zhang, Peng; Tian, Cong; Zhao, Liang; Duan, Zhenhua

Neuron importance based verification of neural networks via divide and conquer

NEUROCOMPUTING

IF6.5

2024-01-01

PREAI

Dong, Yansong; Liu, Yuehao; Zhao, Liang; Tian, Cong; Duan, Zhenhua

MSVL: a typed language for temporal logic programming

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2017-05-25

PREAI

Wang, Xiaobing; Tian, Cong; Duan, Zhenhua; Zhao, Liang

ShoppingCat: relocating products from the Web in online shopping

SCIENCE CHINA-INFORMATION SCIENCES

IF7.6

2013-09-10

PREAI

Zhao Liang; Deng TangJian; Feng Ling

A graph-based generic type system for object-oriented programs

FRONTIERS OF COMPUTER SCIENCE

IF4.6

2013-01-09

PREAI

Ke, Wei; Liu, Zhiming; Wang, Shuling; Zhao, Liang

研究方向