Follow
Min LI
Min LI
Noah's Ark Lab, Huawei Technologies
Verified email at huawei.com - Homepage
Title
Cited by
Cited by
Year
DeepDyve: Dynamic Verification for Deep Neural Networks
Y Li, M Li, B Luo, Y Tian, Q Xu
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020
372020
AppealNet: An Efficient and Highly-Accurate Edge/Cloud Collaborative Architecture for DNN Inference
M Li, Y Li, Y Tian, L Jiang, Q Xu
2021 58th ACM/IEEE Design Automation Conference (DAC), 409-414, 2021
222021
D2NN: a fine-grained dual modular redundancy framework for deep neural networks
Y Li, Y Liu, M Li, Y Tian, B Luo, Q Xu
Proceedings of the 35th Annual Computer Security Applications Conference …, 2019
212019
TestRank: Bringing Order into Unlabeled Test Instances for Deep Learning Tasks
Y Li, M Li, Q Lai, Y Liu, Q Xu
Advances in Neural Information Processing Systems 34, 20874-20886, 2021
172021
DeepGate: learning neural representations of logic gates
M Li, S Khan, Z Shi, N Wang, H Yu, Q Xu
Proceedings of the 59th ACM/IEEE Design Automation Conference, 667-672, 2022
15*2022
T-WaveNet: A Tree-Structured Wavelet Neural Network for Time Series Signal Analysis
LIU Minhao, A Zeng, LAI Qiuxia, R Gao, M Li, J Qin, Q Xu
International Conference on Learning Representations, 2021
102021
On EDA-Driven Learning for SAT Solving
M Li, Z Shi, Q Lai, S Khan, S Cai, Q Xu
2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023
9*2023
DeepTPI: Test Point Insertion with Deep Reinforcement Learning
Z Shi, M Li, S Khan, L Wang, N Wang, Y Huang, Q Xu
2022 IEEE International Test Conference (ITC), 194-203, 2022
72022
Deepgate2: Functionality-aware circuit representation learning
Z Shi, H Pan, S Khan, M Li, Y Liu, J Huang, HL Zhen, M Yuan, Z Chu, ...
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-9, 2023
52023
SATformer: Transformer-Based UNSAT Core Learning
Z Shi, M Li, Y Liu, S Khan, J Huang, HL Zhen, M Yuan, Q Xu
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD), 1-4, 2023
4*2023
DeepSeq: Deep Sequential Circuit Learning
S Khan, Z Shi, M Li, Q Xu
arXiv preprint arXiv:2302.13608, 2023
22023
AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs
W Fang, M Li, M Li, Z Yan, S Liu, H Zhang, Z Xie
arXiv preprint arXiv:2402.00386, 2024
12024
UCoL: Unsupervised Learning of Discriminative Facial Representations via Uncertainty-Aware Contrast
H Wang, M Li, Y Song, Y Zhang, L Chi
Proceedings of the AAAI Conference on Artificial Intelligence 37 (2), 2510-2518, 2023
12023
The Elephant in the Room: Variable Dependency in GNN-based SAT Solving
Z Yan, M Li, Z Shi, W Zhang, YC Chen, H Zhang
First International Workshop on Deep Learning-aided Verification, 2023
1*2023
On Configurable Defense against Adversarial Example Attacks
B Luo, M Li, Y Li, Q Xu
Proceedings of the 2020 on Great Lakes Symposium on VLSI, 543-548, 2020
12020
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models
L Chen, Y Chen, Z Chu, W Fang, TY Ho, Y Huang, S Khan, M Li, X Li, ...
arXiv preprint arXiv:2403.07257, 2024
2024
Skimming and Scanning for Efficient Action Recognition in Untrimmed Videos
Y Hong, A Zeng, M Li, C Lu, L Jiang, Q Xu
2021 14th International Congress on Image and Signal Processing, BioMedical …, 2021
2021
Testability-Aware Low Power Controller Design with Evolutionary Learning
M Li, Z Shi, Z Wang, W Zhang, Y Huang, Q Xu
2021 IEEE International Test Conference (ITC), 324-328, 2021
2021
Lightweight prediction based big/little design for efficient neural network inference
Y Tian, M Li, Q Xu
Proceedings of the 4th ACM/IEEE Symposium on Edge Computing, 356-356, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–19