Hui-Ling Zhen

Orcid: 0000-0003-0310-3825

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

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

2024

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

[BibT_eX]

[DOI]

CoRR, 2024

HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation.

[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

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

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...