Hui-Ling Zhen

Orcid: 0000-0003-0310-3825

According to our database¹, Hui-Ling Zhen authored at least 54 papers between 2014 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

An attention-aware GNN-based input defender against multi-turn jailbreak on LLMs.

[BibT_eX]

[DOI]

CoRR, July, 2025

PreMoe: Lightening MoEs on Constrained Memory by Expert Pruning and Retrieval.

[BibT_eX]

[DOI]

CoRR, May, 2025

TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling.

[BibT_eX]

[DOI]

CoRR, May, 2025

Harnessing On-Device Large Language Model: Empirical Results and Implications for AI PC.

[BibT_eX]

[DOI]

CoRR, May, 2025

HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking.

[BibT_eX]

[DOI]

CoRR, May, 2025

Unlocking Efficient Long-to-Short LLM Reasoning with Model Merging.

[BibT_eX]

[DOI]

CoRR, March, 2025

SVDq: 1.25-bit and 410x Key Cache Compression for LLM Attention.

[BibT_eX]

[DOI]

CoRR, February, 2025

PASER: Post-Training Data Selection for Efficient Pruned Large Language Model Recovery.

[BibT_eX]

[DOI]

CoRR, February, 2025

KVTuner: Sensitivity-Aware Layer-wise Mixed Precision KV Cache Quantization for Efficient and Nearly Lossless LLM Inference.

[BibT_eX]

[DOI]

CoRR, February, 2025

CMoE: Fast Carving of Mixture-of-Experts for Efficient LLM Inference.

[BibT_eX]

[DOI]

CoRR, February, 2025

Certifying Language Model Robustness with Fuzzed Randomized Smoothing: An Efficient Defense Against Backdoor Attacks.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

MixPE: Quantization and Hardware Co-design for Efficient LLM Inference.

[BibT_eX]

[DOI]

CoRR, 2024

FuseGPT: Learnable Layers Fusion of Generative Pre-trained Transformers.

[BibT_eX]

[DOI]

CoRR, 2024

The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation.

[BibT_eX]

[DOI]

CoRR, 2024

EDA-Driven Preprocessing for SAT Solving.

[BibT_eX]

[DOI]

CoRR, 2024

The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models.

[BibT_eX]

[DOI]

Evangeline F. Y. Young

CoRR, 2024

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability.

[BibT_eX]

[DOI]

CoRR, 2024

SoLA: Solver-Layer Adaption of LLM for Better Logic Reasoning.

[BibT_eX]

[DOI]

CoRR, 2024

LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation.

[BibT_eX]

[DOI]

CoRR, 2024

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications.

[BibT_eX]

[DOI]

CoRR, 2024

Erratum to: Large circuit models: opportunities and challenges.

[BibT_eX]

[DOI]

Evangeline F. Y. Young

Sci. China Inf. Sci., 2024

Large circuit models: opportunities and challenges.

[BibT_eX]

[DOI]

Evangeline F. Y. Young

Sci. China Inf. Sci., 2024

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection.

[BibT_eX]

[DOI]

Proceedings of the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024

BetterV: Controlled Verilog Generation with Discriminative Guidance.

[BibT_eX]

[DOI]

Proceedings of the Forty-first International Conference on Machine Learning, 2024

DiffSAT: Differential MaxSAT Layer for SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, 2024

Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

NeuroSelect: Learning to Select Clauses in SAT Solvers.

[BibT_eX]

[DOI]

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023

Machine Learning Methods in Solving the Boolean Satisfiability Problem.

[BibT_eX]

[DOI]

Mach. Intell. Res., October, 2023

A survey for solving mixed integer programming via machine learning.

[BibT_eX]

[DOI]

Neurocomputing, 2023

Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG.

[BibT_eX]

[DOI]

CoRR, 2023

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2023

DeepGate2: Functionality-Aware Circuit Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

SATformer: Transformer-Based UNSAT Core Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Fault Simulation Acceleration Based on ARM Multi-core CPU Architecture.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Asian Test Symposium, 2023

2022

Multiobjective Optimization-Aided Decision-Making System for Large-Scale Manufacturing Planning.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2022

Learning to select cuts for efficient mixed-integer programming.

[BibT_eX]

[DOI]

Pattern Recognit., 2022

SATformer: Transformers for SAT Solving.

[BibT_eX]

[DOI]

CoRR, 2022

Machine Learning Methods in Solving the Boolean Satisfiability Problem.

[BibT_eX]

[DOI]

CoRR, 2022

A Survey for Solving Mixed Integer Programming via Machine Learning.

[BibT_eX]

[DOI]

CoRR, 2022

Bilevel learning for large-scale flexible flow shop scheduling.

[BibT_eX]

[DOI]

Comput. Ind. Eng., 2022

Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-Based Policy Learning.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

Neural Fault Analysis for SAT-based ATPG.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Test Conference, 2022

Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

2020

Fast Covariance Matrix Adaptation for Large-Scale Black-Box Optimization.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2020

Bilevel Learning Model Towards Industrial Scheduling.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Pareto Multi-Task Learning.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

2018

A Batched Scalable Multi-Objective Bayesian Optimization Algorithm.

[BibT_eX]

[DOI]

CoRR, 2018

Nonlinear Collaborative Scheme for Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Dynamic behaviors for a perturbed nonlinear Schrödinger equation with the power-law nonlinearity in a non-Kerr medium.

[BibT_eX]

[DOI]

Commun. Nonlinear Sci. Numer. Simul., 2017

2016

Bright-dark vector soliton solutions for a generalized coupled Hirota system in the optical glass fiber.

[BibT_eX]

[DOI]

Commun. Nonlinear Sci. Numer. Simul., 2016

Soliton solutions and chaotic motions for the (2+1)-dimensional Zakharov equations in a laser-induced plasma.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2016

2014

Dynamic behaviors and soliton solutions of the modified Zakharov-Kuznetsov equation in the electrical transmission line.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2014

Dynamics of an integrable Kadomtsev-Petviashvili-based system.

[BibT_eX]

[DOI]

Hui-Ling Zhen

Bo Tian

Wen-Rong Sun

Appl. Math. Lett., 2014

Hui-Ling Zhen

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...