Dynamics of an integrable Kadomtsev-Petviashvili-based system. - Hui-Ling Zhen; Bo Tian; Wen-Rong Sun (Appl. Math. Lett., 2014)

Dynamic behaviors and soliton solutions of the modified Zakharov-Kuznetsov equation in the electrical transmission line. - Hui-Ling Zhen; Bo Tian; Hui Zhong; Yan Jiang 001 (Comput. Math. Appl., 2014)

Soliton solutions and chaotic motions for the (2+1)-dimensional Zakharov equations in a laser-induced plasma. - Hui-Ling Zhen; Bo Tian; Ya Sun; Jun Chai (Comput. Math. Appl., 2016)

Bright-dark vector soliton solutions for a generalized coupled Hirota system in the optical glass fiber. - Lei Liu 052; Bo Tian; Wen-Rong Sun; Hui-Ling Zhen; Wen-Rui Shan (Commun. Nonlinear Sci. Numer. Simul., 2016)

Dynamic behaviors for a perturbed nonlinear Schrödinger equation with the power-law nonlinearity in a non-Kerr medium. - Jun Chai; Bo Tian; Hui-Ling Zhen; Wen-Rong Sun; De-Yin Liu (Commun. Nonlinear Sci. Numer. Simul., 2017)

Nonlinear Collaborative Scheme for Deep Neural Networks. - Hui-Ling Zhen; Xi Lin 001; Alan Z. Tang; Zhenhua Li 005; Qingfu Zhang 001; Sam Kwong (CoRR, 2018)

A Batched Scalable Multi-Objective Bayesian Optimization Algorithm. - Xi Lin 001; Hui-Ling Zhen; Zhenhua Li 005; Qingfu Zhang 001; Sam Kwong (CoRR, 2018)

Pareto Multi-Task Learning. - Xi Lin 001; Hui-Ling Zhen; Zhenhua Li 005; Qingfu Zhang 001; Sam Kwong (NeurIPS, 2019)

Bilevel Learning Model Towards Industrial Scheduling. - Longkang Li; Hui-Ling Zhen; Mingxuan Yuan; Jiawen Lu; Xialiang Tong; Jia Zeng; Jun Wang 012; Dirk Schnieders (CoRR, 2020)

Fast Covariance Matrix Adaptation for Large-Scale Black-Box Optimization. - Zhenhua Li 005; Qingfu Zhang 001; Xi Lin 001; Hui-Ling Zhen (IEEE Trans. Cybern., 2020)

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)

Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-Based Policy Learning. - Zeren Huang; Wenhao Chen; Weinan Zhang 001; Chuhan Shi; Furui Liu; Hui-Ling Zhen; Mingxuan Yuan; Jianye Hao; Yong Yu 001; Jun Wang 012 (ECML/PKDD (5), 2022)

Bilevel learning for large-scale flexible flow shop scheduling. - Longkang Li; Xiaojin Fu; Hui-Ling Zhen; Mingxuan Yuan; Jun Wang 012; Jiawen Lu; Xialiang Tong; Jia Zeng; Dirk Schnieders (Comput. Ind. Eng., 2022)

A Survey for Solving Mixed Integer Programming via Machine Learning. - Jiayi Zhang 003; Chang Liu 021; Junchi Yan; Xijun Li; Hui-Ling Zhen; Mingxuan Yuan (CoRR, 2022)

Machine Learning Methods in Solving the Boolean Satisfiability Problem. - Wenxuan Guo; Junchi Yan; Hui-Ling Zhen; Xijun Li; Mingxuan Yuan; Yaohui Jin (CoRR, 2022)

SATformer: Transformers for SAT Solving. - Zhengyuan Shi; Min Li 019; Sadaf Khan; Hui-Ling Zhen; Mingxuan Yuan; Qiang Xu 001 (CoRR, 2022)

Learning to select cuts for efficient mixed-integer programming. - Zeren Huang; Kerong Wang; Furui Liu; Hui-Ling Zhen; Weinan Zhang 001; Mingxuan Yuan; Jianye Hao; Yong Yu 001; Jun Wang 012 (Pattern Recognit., 2022)

Multiobjective Optimization-Aided Decision-Making System for Large-Scale Manufacturing Planning. - Zhenkun Wang 001; Hui-Ling Zhen; Jingda Deng; Qingfu Zhang 001; Xijun Li; Mingxuan Yuan; Jia Zeng (IEEE Trans. Cybern., 2022)

Fault Simulation Acceleration Based on ARM Multi-core CPU Architecture. - Shi-Jie Ye; Yun-Ju Liu; Liuzheng Wang; Hui-Ling Zhen; Wei-Ming Zhang; Yu Huang (ATS, 2023)

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)

A survey for solving mixed integer programming via machine learning. - Jiayi Zhang 003; Chang Liu 021; Xijun Li; Hui-Ling Zhen; Mingxuan Yuan; Yawen Li 001; Junchi Yan (Neurocomputing, 2023)

Machine Learning Methods in Solving the Boolean Satisfiability Problem. - Wenxuan Guo; Hui-Ling Zhen; Xijun Li; Wanqian Luo; Mingxuan Yuan; Yaohui Jin; Junchi Yan (Mach. Intell. Res., 2023)

NeuroSelect: Learning to Select Clauses in SAT Solvers. - Hongduo Liu; Peng Xu; Yuan Pu 001; Lihao Yin; Hui-Ling Zhen; Mingxuan Yuan; Tsung-Yi Ho; Bei Yu 001 (DAC, 2024)

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)

DiffSAT: Differential MaxSAT Layer for SAT Solving. - Yu Zhang 189; Hui-Ling Zhen; Mingxuan Yuan; Bei Yu 001 (ICCAD, 2024)

BetterV: Controlled Verilog Generation with Discriminative Guidance. - Zehua Pei; Hui-Ling Zhen; Mingxuan Yuan; Yu Huang 005; Bei Yu 001 (ICML, 2024)

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. - Zhanguang Zhang; Didier Chételat; Joseph Cotnareanu; Amur Ghose; Wenyi Xiao; Hui-Ling Zhen; Yingxue Zhang 001; Jianye Hao; Mark Coates; Mingxuan Yuan (KDD, 2024)

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation. - Joseph Cotnareanu; Zhanguang Zhang; Hui-Ling Zhen; Yingxue Zhang 001; Mark Coates (NeurIPS, 2024)

Large circuit models: opportunities and challenges. - Lei Chen; Yiqi Chen; Zhufei Chu; Wenji Fang; Tsung-Yi Ho; Ru Huang 001; Yu Huang 005; Sadaf Khan; Min Li; Xingquan Li; Yu Li; Yun Liang 001; et al. (Sci. China Inf. Sci., 2024)

Erratum to: Large circuit models: opportunities and challenges. - Lei Chen; Yiqi Chen; Zhufei Chu; Wenji Fang; Tsung-Yi Ho; Ru Huang 001; Yu Huang 005; Sadaf Khan; Min Li; Xingquan Li; Yu Li; Yun Liang 001; et al. (Sci. China Inf. Sci., 2024)

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications. - 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 197; et al. (CoRR, 2024)

LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation. - Ruizhe Zhong; Xingbo Du; Shixiong Kai; Zhentao Tang; Siyuan Xu; Hui-Ling Zhen; Jianye Hao; Qiang Xu 001; Mingxuan Yuan; Junchi Yan (CoRR, 2024)

SoLA: Solver-Layer Adaption of LLM for Better Logic Reasoning. - Yu Zhang 189; Hui-Ling Zhen; Zehua Pei; Yingzhao Lian; Lihao Yin; Mingxuan Yuan; Bei Yu 001 (CoRR, 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)

The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models. - Lei Chen 002; Yiqi Chen; Zhufei Chu; Wenji Fang; Tsung-Yi Ho; Yu Huang 005; Sadaf Khan; Min Li 019; Xingquan Li; Yun Liang 001; Yibo Lin; Jinwei Liu; et al. (CoRR, 2024)

EDA-Driven Preprocessing for SAT Solving. - Zhengyuan Shi; Tiebing Tang; Sadaf Khan; Hui-Ling Zhen; Mingxuan Yuan; Zhufei Chu; Qiang Xu 001 (CoRR, 2024)

The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation. - Reza Moravej; Saurabh Bodhe; Zhanguang Zhang; Didier Chételat; Dimitrios Tsaras; Yingxue Zhang 001; Hui-Ling Zhen; Jianye Hao; Mingxuan Yuan (CoRR, 2024)

FuseGPT: Learnable Layers Fusion of Generative Pre-trained Transformers. - Zehua Pei; Hui-Ling Zhen; Xianzhi Yu; Sinno Jialin Pan; Mingxuan Yuan; Bei Yu 001 (CoRR, 2024)

MixPE: Quantization and Hardware Co-design for Efficient LLM Inference. - Yu Zhang 189; Mingzi Wang; Lancheng Zou; Wulong Liu; Hui-Ling Zhen; Mingxuan Yuan; Bei Yu 001 (CoRR, 2024)

Certifying Language Model Robustness with Fuzzed Randomized Smoothing: An Efficient Defense Against Backdoor Attacks. - Bowei He; Lihao Yin; Hui-Ling Zhen; Jianping Zhang 002; Lanqing Hong; Mingxuan Yuan; Chen Ma 001 (ICLR, 2025)

CMoE: Fast Carving of Mixture-of-Experts for Efficient LLM Inference. - Zehua Pei; Lancheng Zou; Hui-Ling Zhen; Xianzhi Yu; Wulong Liu; Sinno Jialin Pan; Mingxuan Yuan; Bei Yu 001 (CoRR, 2025)

KVTuner: Sensitivity-Aware Layer-wise Mixed Precision KV Cache Quantization for Efficient and Nearly Lossless LLM Inference. - Xing Li; Zeyu Xing 002; Yiming Li; Linping Qu; Hui-Ling Zhen; Wulong Liu; Yiwu Yao; Sinno Jialin Pan; Mingxuan Yuan (CoRR, 2025)

PASER: Post-Training Data Selection for Efficient Pruned Large Language Model Recovery. - Bowei He; Lihao Yin; Hui-Ling Zhen; Xiaokun Zhang 001; Mingxuan Yuan; Chen Ma 001 (CoRR, 2025)

SVDq: 1.25-bit and 410x Key Cache Compression for LLM Attention. - Hong Yankun; Xing Li; Hui-Ling Zhen; Xianzhi Yu; Wulong Liu; Mingxuan Yuan (CoRR, 2025)

Unlocking Efficient Long-to-Short LLM Reasoning with Model Merging. - Han Wu 004; Yuxuan Yao; Shuqi Liu 001; Zehua Liu; Xiaojin Fu; Xiongwei Han; Xing Li; Hui-Ling Zhen; Tao Zhong 004; Mingxuan Yuan (CoRR, 2025)

HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking. - Runquan Gui; Zhihai Wang; Jie Wang 005; Chi Ma; Hui-Ling Zhen; Mingxuan Yuan; Jianye Hao; Defu Lian; Enhong Chen; Feng Wu 001 (CoRR, 2025)

Harnessing On-Device Large Language Model: Empirical Results and Implications for AI PC. - Qingyu Song 002; Peiyu Liao; Wenqian Zhao; Yiwen Wang; Shoubo Hu; Hui-Ling Zhen; Ning Jiang; Mingxuan Yuan (CoRR, 2025)

TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling. - Weizhe Lin; Xing Li; Zhiyuan Yang 003; Xiaojin Fu; Hui-Ling Zhen; Yaoyuan Wang; Xianzhi Yu; Wulong Liu; Xiaosong Li; Mingxuan Yuan (CoRR, 2025)

PreMoe: Lightening MoEs on Constrained Memory by Expert Pruning and Retrieval. - Zehua Pei; Yingchun Zhang; Hui-Ling Zhen; Xianzhi Yu; Wulong Liu; Sinno Jialin Pan; Mingxuan Yuan; Bei Yu 001 (CoRR, 2025)

An attention-aware GNN-based input defender against multi-turn jailbreak on LLMs. - Zixuan Huang; Kecheng Huang; Lihao Yin; Bowei He; Hui-Ling Zhen; Mingxuan Yuan; Zili Shao (CoRR, 2025)