Data Augmentation Algorithm Based on Generative Antagonism Networks (GAN) Model for Optical Transmission Networks (OTN). - Liang Chen; Kunpeng Zheng; Yang Li; Xuelian Yang; Han Zhang; Yangyang Liang; Junhua Huang; Yuan Zhang; Pengfei Xie; Yongli Zhao (CECNet, 2021)

OSNR Prediction Based on Federal Learning in Multi-Domain Optical Networks. - Junhua Huang; Bohan Zhu; Hongxi Zhou; Qiwei Zheng; Zhuo Chen; Tong Lin 003; Yuanyuan Zhao; Ziqi Dong; Xiaofang Gao; Yongli Zhao (CECNet, 2021)

Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics. - Junhua Huang; Hui-Ling Zhen; Naixing Wang; Mingxuan Yuan; Hui Mao; Yu Huang 005; Jiping Tao (ASP-DAC, 2022)

Neural Fault Analysis for SAT-based ATPG. - Junhua Huang; Hui-Ling Zhen; Naixing Wang; Hui Mao; Mingxuan Yuan; Yu Huang 005 (ITC, 2022)

SATformer: Transformer-Based UNSAT Core Learning. - Zhengyuan Shi; Min Li 019; Yi Liu; Sadaf Khan; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Qiang Xu 001 (ICCAD, 2023)

DeepGate2: Functionality-Aware Circuit Representation Learning. - Zhengyuan Shi; Hongyang Pan; Sadaf Khan; Min Li 019; Yi Liu; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Zhufei Chu; Qiang Xu 001 (ICCAD, 2023)

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. - Yang Li 197; Xinyan Chen; Wenxuan Guo; Xijun Li; Wanqian Luo; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Junchi Yan (KDD, 2023)

Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG. - Hui-Ling Zhen; Naixing Wang; Junhua Huang; Xinyue Huang; Mingxuan Yuan; Yu Huang 005 (CoRR, 2023)

Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification. - Hongduo Liu; Peiyu Liao; Junhua Huang; Hui-Ling Zhen; Mingxuan Yuan; Tsung-Yi Ho; Bei Yu 001 (DATE, 2024)

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability. - Tsz Ho Chan; Wenyi Xiao; Junhua Huang; Hui-Ling Zhen; Guangji Tian; Mingxuan Yuan (CoRR, 2024)

VerilogReader: LLM-Aided Hardware Test Generation. - Ruiyang Ma; Yuxin Yang; Ziqian Liu; Jiaxi Zhang 001; Min Li 019; Junhua Huang; Guojie Luo (CoRR, 2024)

GestureLSM: Latent Shortcut based Co-Speech Gesture Generation with Spatial-Temporal Modeling. - Pinxin Liu; Luchuan Song; Junhua Huang; Chenliang Xu (CoRR, 2025)