Hui-Ling Zhen

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 39

Top Topics

Dynamic Behaviors

Multiobjective Optimization

Integer Programming

Top Venues

IEEE Trans. Cybern.

Commun. Nonlinear Sci. Numer. Simul.

Publications

Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. KDD (2024)
Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. CoRR (2024)
Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yun Liang, Yibo Lin, Jinwei Liu, Yi Liu, Guojie Luo, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Evangeline F. Y. Young, Bei Yu, Mingxuan Yuan, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models. CoRR (2024)
Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu
BetterV: Controlled Verilog Generation with Discriminative Guidance. CoRR (2024)
Ruizhe Zhong, Xingbo Du, Shixiong Kai, Zhentao Tang, Siyuan Xu, Hui-Ling Zhen, Jianye Hao, Qiang Xu, Mingxuan Yuan, Junchi Yan
LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation. CoRR (2024)
Xijun Li, Fangzhou Zhu, Hui-Ling Zhen, Weilin Luo, Meng Lu, Yimin Huang, Zhenan Fan, Zirui Zhou, Yufei Kuang, Zhihai Wang, Zijie Geng, Yang Li, Haoyang Liu, Zhiwu An, Muming Yang, Jianshu Li, Jie Wang, Junchi Yan, Defeng Sun, Tao Zhong, Yong Zhang, Jia Zeng, Mingxuan Yuan, Jianye Hao, Jun Yao, Kun Mao
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications. CoRR (2024)
Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, Bei Yu
SoLA: Solver-Layer Adaption of LLM for Better Logic Reasoning. CoRR (2024)
Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
EDA-Driven Preprocessing for SAT Solving. CoRR (2024)
Tsz Ho Chan, Wenyi Xiao, Junhua Huang, Hui-Ling Zhen, Guangji Tian, Mingxuan Yuan
IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability. CoRR (2024)
Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification. DATE (2024)
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
DeepGate2: Functionality-Aware Circuit Representation Learning. ICCAD (2023)
Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. CoRR (2023)
Jiayi Zhang, Chang Liu, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan, Yawen Li, Junchi Yan
A survey for solving mixed integer programming via machine learning. Neurocomputing 519 (2023)
Shi-Jie Ye, Yun-Ju Liu, Liu-Zheng Wang, Hui-Ling Zhen, Wei-Ming Zhang, Yu Huang
Fault Simulation Acceleration Based on ARM Multi-core CPU Architecture. ATS (2023)
Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. KDD (2023)
Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
SATformer: Transformer-Based UNSAT Core Learning. ICCAD (2023)
Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang
Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG. CoRR (2023)
Wenxuan Guo, Hui-Ling Zhen, Xijun Li, Wanqian Luo, Mingxuan Yuan, Yaohui Jin, Junchi Yan
Machine Learning Methods in Solving the Boolean Satisfiability Problem. Mach. Intell. Res. 20 (5) (2023)
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
DeepGate2: Functionality-Aware Circuit Representation Learning. CoRR (2023)
Longkang Li, Xiaojin Fu, Hui-Ling Zhen, Mingxuan Yuan, Jun Wang, Jiawen Lu, Xialiang Tong, Jia Zeng, Dirk Schnieders
Bilevel learning for large-scale flexible flow shop scheduling. Comput. Ind. Eng. 168 (2022)
Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao
Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics. ASP-DAC (2022)
Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
SATformer: Transformers for SAT Solving. CoRR (2022)
Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang
Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning. CoRR (2022)
Zhenkun Wang, Hui-Ling Zhen, Jingda Deng, Qingfu Zhang, Xijun Li, Mingxuan Yuan, Jia Zeng
Multiobjective Optimization-Aided Decision-Making System for Large-Scale Manufacturing Planning. IEEE Trans. Cybern. 52 (8) (2022)
Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang
Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-Based Policy Learning. ECML/PKDD (5) (2022)
Zeren Huang, Kerong Wang, Furui Liu, Hui-Ling Zhen, Weinan Zhang, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang
Learning to select cuts for efficient mixed-integer programming. Pattern Recognit. 123 (2022)
Jiayi Zhang, Chang Liu, Junchi Yan, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan
A Survey for Solving Mixed Integer Programming via Machine Learning. CoRR (2022)
Junhua Huang, Hui-Ling Zhen, Naixing Wang, Hui Mao, Mingxuan Yuan, Yu Huang
Neural Fault Analysis for SAT-based ATPG. ITC (2022)
Wenxuan Guo, Junchi Yan, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Yaohui Jin
Machine Learning Methods in Solving the Boolean Satisfiability Problem. CoRR (2022)
Zeren Huang, Kerong Wang, Furui Liu, Hui-Ling Zhen, Weinan Zhang, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang
Learning to Select Cuts for Efficient Mixed-Integer Programming. CoRR (2021)
Longkang Li, Hui-Ling Zhen, Mingxuan Yuan, Jiawen Lu, Xialiang Tong, Jia Zeng, Jun Wang, Dirk Schnieders
Bilevel Learning Model Towards Industrial Scheduling. CoRR (2020)
Zhenhua Li, Qingfu Zhang, Xi Lin, Hui-Ling Zhen
Fast Covariance Matrix Adaptation for Large-Scale Black-Box Optimization. IEEE Trans. Cybern. 50 (5) (2020)
Xi Lin, Hui-Ling Zhen, Zhenhua Li, Qingfu Zhang, Sam Kwong
Pareto Multi-Task Learning. CoRR (2019)
Xi Lin, Hui-Ling Zhen, Zhenhua Li, Qingfu Zhang, Sam Kwong
Pareto Multi-Task Learning. NeurIPS (2019)
Hui-Ling Zhen, Xi Lin, Alan Z. Tang, Zhenhua Li, Qingfu Zhang, Sam Kwong
Nonlinear Collaborative Scheme for Deep Neural Networks. CoRR (2018)
Xi Lin, Hui-Ling Zhen, Zhenhua Li, Qingfu Zhang, Sam Kwong
A Batched Scalable Multi-Objective Bayesian Optimization Algorithm. CoRR (2018)
Jun Chai, Bo Tian, Hui-Ling Zhen, Wen-Rong Sun, De-Yin Liu
Dynamic behaviors for a perturbed nonlinear Schrödinger equation with the power-law nonlinearity in a non-Kerr medium. Commun. Nonlinear Sci. Numer. Simul. 45 (2017)
Lei Liu, Bo Tian, Wen-Rong Sun, Hui-Ling Zhen, Wen-Rui Shan
Bright-dark vector soliton solutions for a generalized coupled Hirota system in the optical glass fiber. Commun. Nonlinear Sci. Numer. Simul. 39 (2016)
Hui-Ling Zhen, Bo Tian, Ya Sun, Jun Chai
Soliton solutions and chaotic motions for the (2+1)-dimensional Zakharov equations in a laser-induced plasma. Comput. Math. Appl. 71 (7) (2016)
Hui-Ling Zhen, Bo Tian, Hui Zhong, Yan Jiang
Dynamic behaviors and soliton solutions of the modified Zakharov-Kuznetsov equation in the electrical transmission line. Comput. Math. Appl. 68 (5) (2014)
Hui-Ling Zhen, Bo Tian, Wen-Rong Sun
Dynamics of an integrable Kadomtsev-Petviashvili-based system. Appl. Math. Lett. 27 (2014)