| 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 | 46 | 2020 |
| 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 | 35 | 2021 |
| AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs W Fang, M Li, M Li, Z Yan, S Liu, H Zhang, Z Xie 2024 IEEE LLM Aided Design Workshop (LAD), 1-1, 2024 | 33* | 2024 |
| 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 | 31 | 2022 |
| 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 | 26 | 2021 |
| 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 | 25 | 2019 |
| Large circuit models: opportunities and challenges L Chen, Y Chen, Z Chu, W Fang, TY Ho, R Huang, Y Huang, S Khan, M Li, ... Science China Information Sciences 67 (10), 1-42, 2024 | 21* | 2024 |
| 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 | 20 | 2021 |
| 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 | 18 | 2023 |
| 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 | 17* | 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 | 14 | 2022 |
| 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 | 13* | 2023 |
| DeepSeq: Deep Sequential Circuit Learning S Khan, Z Shi, M Li, Q Xu 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-2, 2024 | 7 | 2024 |
| VerilogReader: LLM-Aided Hardware Test Generation R Ma, Y Yang, Z Liu, J Zhang, M Li, J Huang, G Luo arXiv preprint arXiv:2406.04373, 2024 | 3 | 2024 |
| 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, 0 | 3* | |
| DeepGate3: Towards Scalable Circuit Representation Learning Z Shi, Z Zheng, S Khan, J Zhong, M Li, Q Xu arXiv preprint arXiv:2407.11095, 2024 | 2 | 2024 |
| 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 | 2 | 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 | 1 | 2020 |
| DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations S Khan, Z Shi, Z Zheng, M Li, Q Xu arXiv preprint arXiv:2411.00530, 2024 | | 2024 |
| Towards Smart Industrial Hardware Formal Verification HL Zhen, S Kai, L Yin, H Li, M Li, Z Tang, J Huang, Y Lian, M Yuan, ... 2024 2nd International Symposium of Electronics Design Automation (ISEDA …, 2024 | | 2024 |
Qiang XuProfessor, The Chinese University of Hong KongVerified email at cse.cuhk.edu.hk
