Liao Zhang

32 papers A* 1B 3C 1Journal 18Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Neuro-Symbolic Generation and Validation of Memory-Aware Formal Function Specifications.
CoRR
Liao Zhang, Tong Chen, Xiwei Wu, Qi Liu, Xiyu Zhai, Xinqi Wang, Qinxiang Cao
2025 A* conf
Automated Strategy Invention for Confluence of Term Rewrite Systems.
IJCAI
Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk
2025 J jnl
VideoPerceiver: Enhancing Fine-Grained Temporal Perception in Video Multimodal Large Language Models.
CoRR
Fufangchen Zhao, Liao Zhang, Daiqi Shi, Yuanjun Gao, Chen Ye, Yang Cai, Jian Gao, Danfeng Yan
2024 J jnl
Automated Strategy Invention for Confluence of Term Rewrite Systems.
CoRR
Liao Zhang, Fabian Mitterwallner, Jan Jakubuv, Cezary Kaliszyk
2024 J jnl
Deep Reinforcement Learning for Distributed Dynamic Coordinated Beamforming in Massive MIMO Cellular Networks.
IEEE Trans. Wirel. Commun.
Jungang Ge, Ying-Chang Liang, Liao Zhang, Ruizhe Long, Sumei Sun
2024 — conf
Design of Wireless Power Transmission System for Rebar Corrosion Monitoring Based on Electromagnetic Coupling.
CIPAE
Liao Zhang, Anning Yu, Hang Wu, Hao Xiang, Linmei Chen, Bo Zhou
2024 — conf
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction.
IJCLR
Liao Zhang, David M. Cerna, Cezary Kaliszyk
2024 J jnl
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction.
CoRR
Liao Zhang, David M. Cerna, Cezary Kaliszyk
2024 — conf
Reliability Analysis of Full Authority Digital Electronic Control System Based on Multi-state Binary Decision Diagram.
ICSRS
Liao Zhang, Yilin Zhang, Xu Yang, Zhong-chao Liu
2024 J jnl
Transformers are Efficient Compilers, Provably.
CoRR
Xiyu Zhai, Runlong Zhou, Liao Zhang, Simon Shaolei Du
2023 B conf
Deep Reinforcement Learning for Distributed Coordinated Beamforming in Massive MIMO.
PIMRC
Jungang Ge, Liao Zhang, Ying-Chang Liang, Sumei Sun
2023 J jnl
Deep Reinforcement Learning for Distributed Dynamic Coordinated Beamforming in Massive MIMO Cellular Networks.
CoRR
Jungang Ge, Ying-Chang Liang, Liao Zhang, Ruizhe Long, Sumei Sun
2023 — conf
Learning Proof Transformations and Its Applications in Interactive Theorem Proving.
FroCoS
Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk, Josef Urban
2022 J jnl
Motif importance measurement based on multi-attribute decision.
J. Complex Networks
Biao Feng, Yunyun Yang, Liao Zhang, Shuhong Xue, Xinlin Xie, Jiianrong Wang, Gang Xie
2022 J jnl
TSGB: Target-Selective Gradient Backprop for Probing CNN Visual Saliency.
IEEE Trans. Image Process.
Lin Cheng, Pengfei Fang, Yanjie Liang, Liao Zhang, Chunhua Shen, Hanzi Wang
2021 J jnl
Deep multi-level up-projection network for single image super-resolution.
IET Image Process.
Yan Shen, Liao Zhang, Yun Chen, Yi Xie, Zhongli Wang, Xiaotao Shao
2021 J jnl
Omni SCADA Intrusion Detection Using Deep Learning Algorithms.
IEEE Internet Things J.
Jun Gao, Luyun Gan, Fabiola Buschendorf, Liao Zhang, Hua Liu, Peixue Li, Xiaodai Dong, Tao Lu
2021 C conf
Online Machine Learning Techniques for Coq: A Comparison.
CICM
Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban
2021 J jnl
Online Machine Learning Techniques for Coq: A Comparison.
CoRR
Liao Zhang, Lasse Blaauwbroek, Bartosz Piotrowski, Prokop Cerný, Cezary Kaliszyk, Josef Urban
2021 J jnl
TSG: Target-Selective Gradient Backprop for Probing CNN Visual Saliency.
CoRR
Lin Cheng, Pengfei Fang, Yanjie Liang, Liao Zhang, Chunhua Shen, Hanzi Wang
2020 J jnl
Learning Object Scale With Click Supervision for Object Detection.
CoRR
Liao Zhang, Yan Yan, Lin Cheng, Hanzi Wang
2019 — conf
An Optimal Designed Compensator for PSR Flyback Converters Based on Genetic Algorithm.
ASICON
Tianyuan Tang, Ping Luo, Chengda Deng, Qiang Wang, Liao Zhang, Bo Zhang
2019 — conf
Dense Activation Network for Image Denoising.
PRCV (2)
Yan Shen, Liao Zhang, Shuqin Lou, Zhongli Wang
2019 — conf
LSTM for SCADA Intrusion Detection.
PACRIM
Jun Gao, Luyun Gan, Fabiola Buschendorf, Liao Zhang, Hua Liu, Peixue Li, Xiaodai Dong, Tao Lu
2019 J jnl
Learning Object Scale With Click Supervision for Object Detection.
IEEE Signal Process. Lett.
Liao Zhang, Yan Yan, Lin Cheng, Hanzi Wang
2019 B conf
Multi-Level Residual Up-Projection Activation Network for Image Super-Resolution.
ICIP
Yan Shen, Liao Zhang, Zhongli Wang, Xiaoli Hao, Ya-Li Hou
2019 J jnl
Omni SCADA Intrusion Detection Using Deep Learning Algorithms.
CoRR
Jun Gao, Luyun Gan, Fabiola Buschendorf, Liao Zhang, Hua Liu, Peixue Li, Xiaodai Dong, Tao Lu
2018 — conf
Transients of Synchronous Serial Production Lines with Non-Exponential Reliability Machines.
CASE
Mengzhuo Yang, Liao Zhang, Peter Denno
2018 — conf
Using the SVM Method for Lung Adenocarcinoma Prognosis Based on Expression Level.
ICCBB
Tianqin Li, Mingzhe Hu, Liao Zhang
2017 J jnl
An Implementation of SCADA Network Security Testbed.
CoRR
Liao Zhang
2014 J jnl
Dual-Geometric Neighbor Embedding for Image Super Resolution With Sparse Tensor.
IEEE Trans. Image Process.
Shuyuan Yang, Zhiyi Wang, Liao Zhang, Min Wang
2014 B conf
Single image super-resolution via learned representative features and sparse manifold embedding.
IJCNN
Liao Zhang, Shuyuan Yang, Jiren Zhang, Licheng Jiao