Block Access Pattern Discovery via Compressed Full Tensor Transformer. - Xing Li 023; Qiquan Shi; Gang Hu; Lei Chen 031; Hui Mao; Yiyuan Yang; Mingxuan Yuan; Jia Zeng; Zhuo Cheng (CIKM, 2021)

HIMap: a heuristic and iterative logic synthesis approach. - Xing Li 023; Lei Chen 031; Fan Yang; Mingxuan Yuan; Hongli Yan; Yupeng Wan (DAC, 2022)

Lightweight Structural Choices Operator for Technology Mapping. - Antoine Grosnit; Matthieu Zimmer; Rasul Tutunov; Xing Li 023; Lei Chen 031; Fan Yang; Mingxuan Yuan; Haitham Bou-Ammar (DAC, 2023)

A Database Dependent Framework for K-Input Maximum Fanout-Free Window Rewriting. - Xuliang Zhu; Ruofei Tang; Lei Chen 002; Xing Li 023; Xin Huang 001; Mingxuan Yuan; Weihua Sheng; Jianliang Xu (DAC, 2023)

CPP: A Multi-Level Circuit Partitioning Predictor for Hardware Verification Systems. - Xinshi Zang; Lei Chen 031; Xing Li 023; Wilson W. K. Thong; Weihua Sheng; Evangeline F. Y. Young; Martin D. F. Wong (ACM Great Lakes Symposium on VLSI, 2023)

EffiSyn: Efficient Logic Synthesis with Dynamic Scoring and Pruning. - Xing Li 023; Lei Chen 002; Jiantang Zhang; Shuang Wen 007; Weihua Sheng; Yu Huang 005; Mingxuan Yuan (ICCAD, 2023)

EasyMap: Improving Technology Mapping via Exploration-Enhanced Heuristics and Adaptive Sequencing. - Peiyu Wang; Anqi Lu; Xing Li 023; Junjie Ye 002; Lei Chen 031; Mingxuan Yuan; Jianye Hao; Junchi Yan (ICCAD, 2023)

AiMap: Learning to Improve Technology Mapping for ASICs via Delay Prediction. - Junfeng Liu; Liwei Ni; Xingquan Li; Min Zhou 006; Lei Chen 031; Xing Li 023; Qinghua Zhao; Shuai Ma 001 (ICCD, 2023)

SGDP: A Stream-Graph Neural Network Based Data Prefetcher. - Yiyuan Yang; Rongshang Li; Qiquan Shi; Xijun Li; Gang Hu; Xing Li 023; Mingxuan Yuan (IJCNN, 2023)

FineMap: A Fine-grained GPU-parallel LUT Mapping Engine. - Tianji Liu; Lei Chen 031; Xing Li 023; Mingxuan Yuan; Evangeline F. Y. Young (ASPDAC, 2024)

RTLRewriter: Methodologies for Large Models aided RTL Code Optimization. - Xufeng Yao; Yiwen Wang; Xing Li 023; Yingzhao Lian; Ran Chen 001; Lei Chen 031; Mingxuan Yuan; Hong Xu 001; Bei Yu 001 (ICCAD, 2024)

A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design. - Zhihai Wang; Lei Chen 031; Jie Wang 005; Yinqi Bai; Xing Li 023; Xijun Li; Mingxuan Yuan; Jianye Hao; Yongdong Zhang 001; Feng Wu 001 (ICML, 2024)

Towards Next-Generation Logic Synthesis: A Scalable Neural Circuit Generation Framework. - Zhihai Wang; Jie Wang 005; Qingyue Yang; Yinqi Bai; Xing Li 023; Lei Chen 031; Jianye Hao; Mingxuan Yuan; Bin Li 025; Yongdong Zhang 001; Feng Wu 001 (NeurIPS, 2024)

Circuit Transformer: End-to-end Circuit Design by Predicting the Next Gate. - Xihan Li 001; Xing Li 023; Lei Chen 002; Xing Zhang; Mingxuan Yuan; Jun Wang 012 (CoRR, 2024)

Logic Synthesis with Generative Deep Neural Networks. - Xihan Li 001; Xing Li 023; Lei Chen 002; Xing Zhang; Mingxuan Yuan; Jun Wang 012 (CoRR, 2024)

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers. - Raika Karimi; Faezeh Faez; Yingxue Zhang 001; Xing Li 023; Lei Chen 031; Mingxuan Yuan; Mahdi Biparva (CoRR, 2024)

SeaDAG: Semi-autoregressive Diffusion for Conditional Directed Acyclic Graph Generation. - Xinyi Zhou 010; Xing Li 023; Yingzhao Lian; Yiwen Wang; Lei Chen 031; Mingxuan Yuan; Jianye Hao; Guangyong Chen; Pheng-Ann Heng (CoRR, 2024)

MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization. - Faezeh Faez; Raika Karimi; Yingxue Zhang 001; Xing Li 023; Lei Chen 031; Mingxuan Yuan; Mahdi Biparva (ASP-DAC, 2025)

EDGE: DBMS-Empowered Boolean Decomposition for GIG Synthesis. - Ruofei Tang; Xuliang Zhu; Xinyi Zhang; Lei Chen 002; Xing Li 023; Mingxuan Yuan; Jianliang Xu (DAC, 2025)

ELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring. - Dimitris Tsaras; Xing Li 023; Lei Chen; Zhiyao Xie; Mingxuan Yuan (DAC, 2025)

Maximum Fanout-Free Window Enumeration: Towards Multi-Output Sub-Structure Synthesis. - Ruofei Tang; Xuliang Zhu; Lei Chen 002; Xing Li 023; Xin Huang 001; Mingxuan Yuan; Jianliang Xu (DATE, 2025)

Circuit Synthesis based on Hierarchical Conditional Diffusion. - Xinyi Zhou 010; Xing Li 023; Yingzhao Lian; Yiwen Wang; Lei Chen 031; Mingxuan Yuan; Jianye Hao; Guangyong Chen; Pheng-Ann Heng (ACM Great Lakes Symposium on VLSI, 2025)

Circuit Transformer: A Transformer That Preserves Logical Equivalence. - Xihan Li 001; Xing Li 023; Lei Chen 002; Xing Zhang; Mingxuan Yuan; Jun Wang 012 (ICLR, 2025)

A Unified Parallel Framework for LUT Mapping and Logic Optimization. - Tianji Liu; Yang Sun; Lei Chen 031; Xing Li 023; Mingxuan Yuan; Evangeline F. Y. Young (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

AttentionPredictor: Temporal Pattern Matters for Efficient LLM Inference. - Qingyue Yang; Jie Wang 005; Xing Li 023; Zhihai Wang; Chen Chen 077; Lei Chen 031; Xianzhi Yu; Wulong Liu; Jianye Hao; Mingxuan Yuan; Bin Li 025 (CoRR, 2025)

KVTuner: Sensitivity-Aware Layer-wise Mixed Precision KV Cache Quantization for Efficient and Nearly Lossless LLM Inference. - Xing Li 023; Zeyu Xing 002; Yiming Li; Linping Qu; Hui-Ling Zhen; Wulong Liu; Yiwu Yao; Sinno Jialin Pan; Mingxuan Yuan (CoRR, 2025)

SVDq: 1.25-bit and 410x Key Cache Compression for LLM Attention. - Hong Yankun; Xing Li 023; Hui-Ling Zhen; Xianzhi Yu; Wulong Liu; Mingxuan Yuan (CoRR, 2025)

Unlocking Efficient Long-to-Short LLM Reasoning with Model Merging. - Han Wu 004; Yuxuan Yao; Shuqi Liu 001; Zehua Liu; Xiaojin Fu; Xiongwei Han; Xing Li 023; Hui-Ling Zhen; Tao Zhong 004; Mingxuan Yuan (CoRR, 2025)

TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling. - Weizhe Lin; Xing Li 023; Zhiyuan Yang 003; Xiaojin Fu; Hui-Ling Zhen; Yaoyuan Wang; Xianzhi Yu; Wulong Liu; Xiaosong Li; Mingxuan Yuan (CoRR, 2025)

A Delay-Driven Iterative Technology Mapping Framework. - Junfeng Liu; Liwei Ni; Lei Chen 031; Xing Li 023; Qinghua Zhao; Xingquan Li; Shuai Ma 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)

Scaling Up, Speeding Up: A Benchmark of Speculative Decoding for Efficient LLM Test-Time Scaling. - Shengyin Sun; Yiming Li; Xing Li 023; Yingzhao Lian; Weizhe Lin; Hui-Ling Zhen; Zhiyuan Yang 003; Chen Chen 077; Xianzhi Yu; Mingxuan Yuan; Chen Ma 001 (CoRR, 2025)

Behavioral Fingerprinting of Large Language Models. - Zehua Pei; Hui-Ling Zhen; Yingchun Zhang; Zhiyuan Yang 003; Xing Li 023; Xianzhi Yu; Mingxuan Yuan; Bei Yu 001 (CoRR, 2025)