Min Li

Orcid: 0000-0003-2700-6827

Affiliations:

Chinese University of Hong Kong, CURE Lab, Hong Kong

According to our database¹, Min Li authored at least 39 papers between 2018 and 2026.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR.

[BibT_eX]

[DOI]

CoRR, April, 2026

FormalRTL: Verified RTL Synthesis at Scale.

[BibT_eX]

[DOI]

CoRR, March, 2026

FGMamba: A feature-guided deep unfolding network with state space models for efficient MRI reconstruction.

[BibT_eX]

[DOI]

Biomed. Signal Process. Control., 2026

2025

Reasoning Scaffolding: Distilling the Flow of Thought from LLMs.

[BibT_eX]

[DOI]

CoRR, September, 2025

DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia and South Pacific Design Automation Conference, 2025

AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs.

[BibT_eX]

[DOI]

Proceedings of the 30th Asia and South Pacific Design Automation Conference, 2025

2024

VerilogReader: LLM-Aided Hardware Test Generation.

[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

AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs.

[BibT_eX]

[DOI]

CoRR, 2024

DeepGate3: Towards Scalable Circuit Representation Learning.

[BibT_eX]

[DOI]

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

AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction.

[BibT_eX]

[DOI]

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

DeepSeq: Deep Sequential Circuit Learning.

[BibT_eX]

[DOI]

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

2023

Addressing Variable Dependency in GNN-based SAT Solving.

[BibT_eX]

[DOI]

CoRR, 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

Hyper-Heuristic Algorithm for Urban Traffic Flow Optimization.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Advanced Computational Intelligence, 2023

On EDA-Driven Learning for SAT Solving.

[BibT_eX]

[DOI]

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Optimization of Resource Allocation based on Swarm Intelligence for Multi-Objective Dynamic SEIV Models.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Computer Supported Cooperative Work in Design, 2023

A Signal Control Algorithm of Urban Intersections based on Traffic Flow Prediction.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Computer Supported Cooperative Work in Design, 2023

2022

SATformer: Transformers for SAT Solving.

[BibT_eX]

[DOI]

CoRR, 2022

DeepSAT: An EDA-Driven Learning Framework for SAT.

[BibT_eX]

[DOI]

CoRR, 2022

DeepTPI: Test Point Insertion with Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Test Conference, 2022

T-WaveNet: A Tree-Structured Wavelet Neural Network for Time Series Signal Analysis.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Learning Representations, 2022

DeepGate: learning neural representations of logic gates.

[BibT_eX]

[DOI]

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Hybrid Population-Based Incremental Learning for Coalition Structure Generation of Smart Grids.

[BibT_eX]

[DOI]

Xiao-Min Hu

Jia-Hua Pan

Min Li

Proceedings of the 25th IEEE International Conference on Computer Supported Cooperative Work in Design, 2022

Adaptive Set-Based CLPSO for Path Planning of Multi-Target Surveillance with Moving Obstacles.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Computer Supported Cooperative Work in Design, 2022

2021

Representation Learning of Logic Circuits.

[BibT_eX]

[DOI]

CoRR, 2021

Skimming and Scanning for Untrimmed Video Action Recognition.

[BibT_eX]

[DOI]

CoRR, 2021

Multimodal particle swarm optimization for feature selection.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2021

Surrogate-Assisted Ensemble Social Learning Particle Swarm Optimization.

[BibT_eX]

[DOI]

Xiao-Min Hu

Wen-Wei Su

Min Li

Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021

TestRank: Bringing Order into Unlabeled Test Instances for Deep Learning Tasks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Testability-Aware Low Power Controller Design with Evolutionary Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Test Conference, 2021

AppealNet: An Efficient and Highly-Accurate Edge/Cloud Collaborative Architecture for DNN Inference.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

Skimming and Scanning for Efficient Action Recognition in Untrimmed Videos.

[BibT_eX]

[DOI]

Proceedings of the 14th International Congress on Image and Signal Processing, 2021

2020

On Configurable Defense against Adversarial Example Attacks.

[BibT_eX]

[DOI]

Proceedings of the GLSVLSI '20: Great Lakes Symposium on VLSI 2020, 2020

DeepDyve: Dynamic Verification for Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

Lightweight prediction based big/little design for efficient neural network inference.

[BibT_eX]

[DOI]

Ye Tian

Min Li

Qiang Xu

Proceedings of the 4th ACM/IEEE Symposium on Edge Computing, 2019

D2NN: a fine-grained dual modular redundancy framework for deep neural networks.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Local intensity in memetic algorithm: case study in CARP.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2018

Min Li

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...