​
Login / Signup
Min Li
Publication Activity (10 Years)
Years Active: 2018-2024
Publications (10 Years): 23
Top Topics
Sat Solving
Neural Network
Spatio Temporal Interest Points
Lightweight
Top Venues
CoRR
DAC
ICCAD
CCS
</>
Publications
</>
Zhengyuan Shi
,
Ziyang Zheng
,
Sadaf Khan
,
Jianyuan Zhong
,
Min Li
,
Qiang Xu
DeepGate3: Towards Scalable Circuit Representation Learning.
CoRR
(2024)
Zhiyuan Yan
,
Min Li
,
Zhengyuan Shi
,
Wenjie Zhang
,
Yingcong Chen
,
Hongce Zhang
AsymSAT: Accelerating SAT Solving with Asymmetric Graph-Based Model Prediction.
DATE
(2024)
Zhengyuan Shi
,
Hongyang Pan
,
Sadaf Khan
,
Min Li
,
Yi Liu
,
Junhua Huang
,
Hui-Ling Zhen
,
Mingxuan Yuan
,
Zhufei Chu
,
Qiang Xu
DeepGate2: Functionality-Aware Circuit Representation Learning.
ICCAD
(2023)
Zhengyuan Shi
,
Min Li
,
Yi Liu
,
Sadaf Khan
,
Junhua Huang
,
Hui-Ling Zhen
,
Mingxuan Yuan
,
Qiang Xu
SATformer: Transformer-Based UNSAT Core Learning.
ICCAD
(2023)
Min Li
,
Zhengyuan Shi
,
Qiuxia Lai
,
Sadaf Khan
,
Shaowei Cai
,
Qiang Xu
On EDA-Driven Learning for SAT Solving.
DAC
(2023)
Zhengyuan Shi
,
Min Li
,
Sadaf Khan
,
Liuzheng Wang
,
Naixing Wang
,
Yu Huang
,
Qiang Xu
DeepTPI: Test Point Insertion with Deep Reinforcement Learning.
CoRR
(2022)
Min Li
,
Sadaf Khan
,
Zhengyuan Shi
,
Naixing Wang
,
Huang Yu
,
Qiang Xu
DeepGate: learning neural representations of logic gates.
DAC
(2022)
Zhengyuan Shi
,
Min Li
,
Sadaf Khan
,
Hui-Ling Zhen
,
Mingxuan Yuan
,
Qiang Xu
SATformer: Transformers for SAT Solving.
CoRR
(2022)
Min Li
,
Zhengyuan Shi
,
Qiuxia Lai
,
Sadaf Khan
,
Qiang Xu
DeepSAT: An EDA-Driven Learning Framework for SAT.
CoRR
(2022)
Min Li
,
Yu Li
,
Ye Tian
,
Li Jiang
,
Qiang Xu
AppealNet: An Efficient and Highly-Accurate Edge/Cloud Collaborative Architecture for DNN Inference.
CoRR
(2021)
Yu Li
,
Min Li
,
Qiuxia Lai
,
Yannan Liu
,
Qiang Xu
TestRank: Bringing Order into Unlabeled Test Instances for Deep Learning Tasks.
NeurIPS
(2021)
Yunyan Hong
,
Ailing Zeng
,
Min Li
,
Cewu Lu
,
Li Jiang
,
Qiang Xu
Skimming and Scanning for Untrimmed Video Action Recognition.
CoRR
(2021)
Yunyan Hong
,
Ailing Zeng
,
Min Li
,
Cewu Lu
,
Li Jiang
,
Qiang Xu
Skimming and Scanning for Efficient Action Recognition in Untrimmed Videos.
CISP-BMEI
(2021)
Min Li
,
Yu Li
,
Ye Tian
,
Li Jiang
,
Qiang Xu
AppealNet: An Efficient and Highly-Accurate Edge/Cloud Collaborative Architecture for DNN Inference.
DAC
(2021)
Min Li
,
Zhengyuan Shi
,
Zezhong Wang
,
Weiwei Zhang
,
Yu Huang
,
Qiang Xu
Testability-Aware Low Power Controller Design with Evolutionary Learning.
ITC
(2021)
Yu Li
,
Min Li
,
Qiuxia Lai
,
Yannan Liu
,
Qiang Xu
TestRank: Bringing Order into Unlabeled Test Instances for Deep Learning Tasks.
CoRR
(2021)
Min Li
,
Zhengyuan Shi
,
Zezhong Wang
,
Weiwei Zhang
,
Yu Huang
,
Qiang Xu
Testability-Aware Low Power Controller Design with Evolutionary Learning.
CoRR
(2021)
Yu Li
,
Min Li
,
Bo Luo
,
Ye Tian
,
Qiang Xu
DeepDyve: Dynamic Verification for Deep Neural Networks.
CoRR
(2020)
Bo Luo
,
Min Li
,
Yu Li
,
Qiang Xu
On Configurable Defense against Adversarial Example Attacks.
ACM Great Lakes Symposium on VLSI
(2020)
Yu Li
,
Min Li
,
Bo Luo
,
Ye Tian
,
Qiang Xu
DeepDyve: Dynamic Verification for Deep Neural Networks.
CCS
(2020)
Ye Tian
,
Min Li
,
Qiang Xu
Lightweight prediction based big/little design for efficient neural network inference.
SEC
(2019)
Yu Li
,
Yannan Liu
,
Min Li
,
Ye Tian
,
Bo Luo
,
Qiang Xu
D2NN: a fine-grained dual modular redundancy framework for deep neural networks.
ACSAC
(2019)
Bo Luo
,
Min Li
,
Yu Li
,
Qiang Xu
On Configurable Defense against Adversarial Example Attacks.
CoRR
(2018)