Min Li

49 papers A* 6A 8B 1C 4Misc 1Journal 23Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
FGMamba: A feature-guided deep unfolding network with state space models for efficient MRI reconstruction.
Biomed. Signal Process. Control.
Jiawei Pan, Yu Luo, Ziyi Chen, Min Li, Jie Ling, Harry Qin, Shun Yao
2026 J jnl
FormalRTL: Verified RTL Synthesis at Scale.
CoRR
Kezhi Li, Min Li, Xiangyu Wen, Shibo Zhao, Jieying Wu, Junhua Huang, Qiang Xu
2025 — conf
AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs.
ASP-DAC
Zhiyuan Yan, Wenji Fang, Mengming Li, Min Li, Shang Liu, Zhiyao Xie, Hongce Zhang
2025 — conf
DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations.
ASP-DAC
Sadaf Khan, Zhengyuan Shi, Ziyang Zheng, Min Li, Qiang Xu
2025 J jnl
Reasoning Scaffolding: Distilling the Flow of Thought from LLMs.
CoRR
Xiangyu Wen, Junhua Huang, Zeju Li, Min Li, Jianyuan Zhong, Zhijian Xu, Mingxuan Yuan, Yongxiang Huang, Qiang Xu
2024 J jnl
AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs.
CoRR
Zhiyuan Yan, Wenji Fang, Mengming Li, Min Li, Shang Liu, Zhiyao Xie, Hongce Zhang
2024 J jnl
AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs.
CoRR
Wenji Fang, Mengming Li, Min Li, Zhiyuan Yan, Shang Liu, Hongce Zhang, Zhiyao Xie
2024 A conf
AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction.
DATE
Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang
2024 A conf
DeepGate3: Towards Scalable Circuit Representation Learning.
ICCAD
Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu
2024 J jnl
DeepGate3: Towards Scalable Circuit Representation Learning.
CoRR
Zhengyuan Shi, Ziyang Zheng, Sadaf Khan, Jianyuan Zhong, Min Li, Qiang Xu
2024 J jnl
DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations.
CoRR
Sadaf Khan, Zhengyuan Shi, Ziyang Zheng, Min Li, Qiang Xu
2024 A conf
DeepSeq: Deep Sequential Circuit Learning.
DATE
Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
2024 J jnl
The Dawn of AI-Native EDA: Promises and Challenges of Large Circuit Models.
CoRR
Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yun Liang, Yibo Lin, Jinwei Liu, Yi Liu, Guojie Luo, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Evangeline F. Y. Young, Bei Yu, Mingxuan Yuan, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou
2024 J jnl
VerilogReader: LLM-Aided Hardware Test Generation.
CoRR
Ruiyang Ma, Yuxin Yang, Ziqian Liu, Jiaxi Zhang, Min Li, Junhua Huang, Guojie Luo
2023 C conf
A Signal Control Algorithm of Urban Intersections based on Traffic Flow Prediction.
CSCWD
Xiao-Min Hu, Gang-Qi Wang, Min Li, Zi-Liang Chen
2023 J jnl
Addressing Variable Dependency in GNN-based SAT Solving.
CoRR
Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang, Yingcong Chen, Hongce Zhang
2023 A conf
DeepGate2: Functionality-Aware Circuit Representation Learning.
ICCAD
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2023 J jnl
DeepGate2: Functionality-Aware Circuit Representation Learning.
CoRR
Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2023 J jnl
DeepSeq: Deep Sequential Circuit Learning.
CoRR
Sadaf Khan, Zhengyuan Shi, Min Li, Qiang Xu
2023 — conf
Hyper-Heuristic Algorithm for Urban Traffic Flow Optimization.
ICACI
Xiao-Min Hu, Yu-Hui Duan, Min Li, Ying Zeng
2023 A* conf
On EDA-Driven Learning for SAT Solving.
DAC
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Shaowei Cai, Qiang Xu
2023 C conf
Optimization of Resource Allocation based on Swarm Intelligence for Multi-Objective Dynamic SEIV Models.
CSCWD
Xiao-Min Hu, Jing-Hui Xu, Min Li, Ying Zeng, Yi Liu
2023 A conf
SATformer: Transformer-Based UNSAT Core Learning.
ICCAD
Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
2022 C conf
Adaptive Set-Based CLPSO for Path Planning of Multi-Target Surveillance with Moving Obstacles.
CSCWD
Xiao-Min Hu, Zi-Liang Chen, Zhuo Yang, Min Li, Ling Zhang
2022 A* conf
DeepGate: learning neural representations of logic gates.
DAC
Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Huang Yu, Qiang Xu
2022 J jnl
DeepSAT: An EDA-Driven Learning Framework for SAT.
CoRR
Min Li, Zhengyuan Shi, Qiuxia Lai, Sadaf Khan, Qiang Xu
2022 A conf
DeepTPI: Test Point Insertion with Deep Reinforcement Learning.
ITC
Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
2022 J jnl
DeepTPI: Test Point Insertion with Deep Reinforcement Learning.
CoRR
Zhengyuan Shi, Min Li, Sadaf Khan, Liuzheng Wang, Naixing Wang, Yu Huang, Qiang Xu
2022 C conf
Hybrid Population-Based Incremental Learning for Coalition Structure Generation of Smart Grids.
CSCWD
Xiao-Min Hu, Jia-Hua Pan, Min Li
2022 J jnl
SATformer: Transformers for SAT Solving.
CoRR
Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
2022 A* conf
T-WaveNet: A Tree-Structured Wavelet Neural Network for Time Series Signal Analysis.
ICLR
Minhao Liu, Ailing Zeng, Qiuxia Lai, Ruiyuan Gao, Min Li, Jing Qin, Qiang Xu
2021 A* conf
AppealNet: An Efficient and Highly-Accurate Edge/Cloud Collaborative Architecture for DNN Inference.
DAC
Min Li, Yu Li, Ye Tian, Li Jiang, Qiang Xu
2021 J jnl
AppealNet: An Efficient and Highly-Accurate Edge/Cloud Collaborative Architecture for DNN Inference.
CoRR
Min Li, Yu Li, Ye Tian, Li Jiang, Qiang Xu
2021 J jnl
Multimodal particle swarm optimization for feature selection.
Appl. Soft Comput.
Xiao-Min Hu, Shou-Rong Zhang, Min Li, Jeremiah D. Deng
2021 J jnl
Representation Learning of Logic Circuits.
CoRR
Min Li, Sadaf Khan, Zhengyuan Shi, Naixing Wang, Yu Huang, Qiang Xu
2021 — conf
Skimming and Scanning for Efficient Action Recognition in Untrimmed Videos.
CISP-BMEI
Yunyan Hong, Ailing Zeng, Min Li, Cewu Lu, Li Jiang, Qiang Xu
2021 J jnl
Skimming and Scanning for Untrimmed Video Action Recognition.
CoRR
Yunyan Hong, Ailing Zeng, Min Li, Cewu Lu, Li Jiang, Qiang Xu
2021 B conf
Surrogate-Assisted Ensemble Social Learning Particle Swarm Optimization.
SMC
Xiao-Min Hu, Wen-Wei Su, Min Li
2021 A* conf
TestRank: Bringing Order into Unlabeled Test Instances for Deep Learning Tasks.
NeurIPS
Yu Li, Min Li, Qiuxia Lai, Yannan Liu, Qiang Xu
2021 J jnl
TestRank: Bringing Order into Unlabeled Test Instances for Deep Learning Tasks.
CoRR
Yu Li, Min Li, Qiuxia Lai, Yannan Liu, Qiang Xu
2021 A conf
Testability-Aware Low Power Controller Design with Evolutionary Learning.
ITC
Min Li, Zhengyuan Shi, Zezhong Wang, Weiwei Zhang, Yu Huang, Qiang Xu
2021 J jnl
Testability-Aware Low Power Controller Design with Evolutionary Learning.
CoRR
Min Li, Zhengyuan Shi, Zezhong Wang, Weiwei Zhang, Yu Huang, Qiang Xu
2020 A* conf
DeepDyve: Dynamic Verification for Deep Neural Networks.
CCS
Yu Li, Min Li, Bo Luo, Ye Tian, Qiang Xu
2020 J jnl
DeepDyve: Dynamic Verification for Deep Neural Networks.
CoRR
Yu Li, Min Li, Bo Luo, Ye Tian, Qiang Xu
2020 — conf
On Configurable Defense against Adversarial Example Attacks.
ACM Great Lakes Symposium on VLSI
Bo Luo, Min Li, Yu Li, Qiang Xu
2019 A conf
D2NN: a fine-grained dual modular redundancy framework for deep neural networks.
ACSAC
Yu Li, Yannan Liu, Min Li, Ye Tian, Bo Luo, Qiang Xu
2019 Misc conf
Lightweight prediction based big/little design for efficient neural network inference.
SEC
Ye Tian, Min Li, Qiang Xu
2018 — conf
Local intensity in memetic algorithm: case study in CARP.
GECCO (Companion)
Zhi-Wei Zeng, Xiao-Min Hu, Min Li, Yu Luo
2018 J jnl
On Configurable Defense against Adversarial Example Attacks.
CoRR
Bo Luo, Min Li, Yu Li, Qiang Xu