Mingxuan Yuan - RankMe

277 papers A* 56A 27B 8C 2Misc 4Journal 155Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Systematic Survey on Large Language Models for Algorithm Design. ACM Comput. Surv. Fei Liu, Yiming Yao, Ping Guo, Zhiyuan Yang, Xi Lin, Zhe Zhao, Xialiang Tong, Kun Mao, Zhichao Lu, Zhenkun Wang, Mingxuan Yuan, Qingfu Zhang
2026	J	`jnl`	Advancing Automated Algorithm Design via Evolutionary Stagewise Design with LLMs. CoRR Chen Lu, Ke Xue, Chengrui Gao, Yunqi Shi, Siyuan Xu, Mingxuan Yuan, Chao Qian, Zhi-Hua Zhou
2026	J	`jnl`	Beyond Speedup - Utilizing KV Cache for Sampling and Reasoning. CoRR Zeyu Xing, Xing Li, Hui-Ling Zhen, Mingxuan Yuan, Sinno Jialin Pan
2026	J	`jnl`	C-MOP: Integrating Momentum and Boundary-Aware Clustering for Enhanced Prompt Evolution. CoRR Binwei Yan, Yifei Fu, Mingjian Zhu, Hanting Chen, Mingxuan Yuan, Yunhe Wang, Hailin Hu
2026	J	`jnl`	DLLM Agent: See Farther, Run Faster. CoRR Hui-Ling Zhen, Weizhe Lin, Renxi Liu, Kai Han, Yiming Li, Yuchuan Tian, Hanting Chen, Xiaoguang Li, Xiaosong Li, Chen Chen, Xianzhi Yu, Mingxuan Yuan, Youliang Yan, Peifeng Qin, Jun Wang, Yu Wang, Dacheng Tao, Yunhe Wang
2026	—	`conf`	DiLA: Enhancing LLM Tool Learning with Differential Logic Layer. KDD (1) Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, Bei Yu
2026	A*	`conf`	EoH-S: Evolution of Heuristic Set Using LLMs for Automated Heuristic Design. AAAI Fei Liu, Yilu Liu, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2026	J	`jnl`	From Conflict to Consensus: Boosting Medical Reasoning via Multi-Round Agentic RAG. CoRR Wenhao Wu, Zhentao Tang, Yafu Li, Shixiong Kai, Mingxuan Yuan, Chunlin Chen, Zhi Wang
2026	J	`jnl`	MemDLM: Memory-Enhanced DLM Training. CoRR Zehua Pei, Hui-Ling Zhen, Weizhe Lin, Sinno Jialin Pan, Yunhe Wang, Mingxuan Yuan, Bei Yu
2026	J	`jnl`	RIFT: Repurposing Negative Samples via Reward-Informed Fine-Tuning. CoRR Zehua Liu, Shuqi Liu, Tao Zhong, Mingxuan Yuan
2026	J	`jnl`	ReThinker: Scientific Reasoning by Rethinking with Guided Reflection and Confidence Control. CoRR Zhentao Tang, Yuqi Cui, Shixiong Kai, Wenqian Zhao, Ke Ye, Xing Li, Anxin Tian, Zehua Pei, Hui-Ling Zhen, Shoubo Hu, Xiaoguang Li, Yunhe Wang, Mingxuan Yuan
2026	J	`jnl`	Revisiting Judge Decoding from First Principles via Training-Free Distributional Divergence. CoRR Shengyin Sun, Yiming Li, Renxi Liu, Weizhe Lin, Hui-Ling Zhen, Xianzhi Yu, Mingxuan Yuan, Chen Ma
2026	J	`jnl`	SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction. CoRR Da Chen, Guangyu Hu, Kaihong Xu, Kaichao Liang, Songjiang Li, Wei Yang, XiangYu Wen, Mingxuan Yuan
2026	J	`jnl`	SwiftMem: Fast Agentic Memory via Query-aware Indexing. CoRR Anxin Tian, Yiming Li, Xing Li, Hui-Ling Zhen, Lei Chen, Xianzhi Yu, Zhenhua Dong, Mingxuan Yuan
2026	J	`jnl`	Unleashing Low-Bit Inference on Ascend NPUs: A Comprehensive Evaluation of HiFloat Formats. CoRR Pengxiang Zhao, Hui-Ling Zhen, Xing Li, Han Bao, Weizhe Lin, Zhiyuan Yang, Manyi Zhang, Yuanyong Luo, Ziwei Yu, Xin Wang, Mingxuan Yuan, Xianzhi Yu, Zhenhua Dong
2026	J	`jnl`	What Matters For Safety Alignment? CoRR Xing Li, Hui-Ling Zhen, Lihao Yin, Xianzhi Yu, Zhenhua Dong, Mingxuan Yuan
2026	J	`jnl`	Why Attention Patterns Exist: A Unifying Temporal Perspective Analysis. CoRR Qingyue Yang, Jie Wang, Xing Li, Yinqi Bai, Xialiang Tong, Huiling Zhen, Jianye Hao, Mingxuan Yuan, Bin Li
2025	J	`jnl`	1bit-Merging: Dynamic Quantized Merging for Large Language Models. CoRR Shuqi Liu, Han Wu, Bowei He, Zehua Liu, Xiongwei Han, Mingxuan Yuan, Linqi Song
2025	J	`jnl`	A Caching-based Framework for Scalable Temporal Graph Neural Network Training. ACM Trans. Database Syst. Yiming Li, Yanyan Shen, Lei Chen, Mingxuan Yuan
2025	A*	`conf`	A Graph Enhanced Symbolic Discovery Framework For Efficient Logic Optimization. ICLR Yinqi Bai, Jie Wang, Lei Chen, Zhihai Wang, Yufei Kuang, Mingxuan Yuan, Jianye Hao, Feng Wu
2025	A*	`conf`	A Survey of Optimization Modeling Meets LLMs: Progress and Future Directions. IJCAI Ziyang Xiao, Jingrong Xie, Lilin Xu, Shisi Guan, Jingyan Zhu, Xiongwei Han, Xiaojin Fu, WingYin Yu, Han Wu, Wei Shi, Qingcan Kang, Jiahui Duan, Tao Zhong, Mingxuan Yuan, Jia Zeng, Yuan Wang, Gang Chen, Dongxiang Zhang
2025	J	`jnl`	A Survey of Optimization Modeling Meets LLMs: Progress and Future Directions. CoRR Ziyang Xiao, Jingrong Xie, Lilin Xu, Shisi Guan, Jingyan Zhu, Xiongwei Han, Xiaojin Fu, WingYin Yu, Han Wu, Wei Shi, Qingcan Kang, Jiahui Duan, Tao Zhong, Mingxuan Yuan, Jia Zeng, Yuan Wang, Gang Chen, Dongxiang Zhang
2025	J	`jnl`	A Unified Parallel Framework for LUT Mapping and Logic Optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tianji Liu, Yang Sun, Lei Chen, Xing Li, Mingxuan Yuan, Evangeline F. Y. Young
2025	A*	`conf`	Accelerating Large Language Model Reasoning via Speculative Search. ICML Zhihai Wang, Jie Wang, Jilai Pan, Xilin Xia, Huiling Zhen, Mingxuan Yuan, Jianye Hao, Feng Wu
2025	J	`jnl`	Accelerating Large Language Model Reasoning via Speculative Search. CoRR Zhihai Wang, Jie Wang, Jilai Pan, Xilin Xia, Huiling Zhen, Mingxuan Yuan, Jianye Hao, Feng Wu
2025	J	`jnl`	An attention-aware GNN-based input defender against multi-turn jailbreak on LLMs. CoRR Zixuan Huang, Kecheng Huang, Lihao Yin, Bowei He, Hui-Ling Zhen, Mingxuan Yuan, Zili Shao
2025	J	`jnl`	AttentionPredictor: Temporal Pattern Matters for Efficient LLM Inference. CoRR Qingyue Yang, Jie Wang, Xing Li, Zhihai Wang, Chen Chen, Lei Chen, Xianzhi Yu, Wulong Liu, Jianye Hao, Mingxuan Yuan, Bin Li
2025	J	`jnl`	BBOPlace-Bench: Benchmarking Black-Box Optimization for Chip Placement. CoRR Ke Xue, Ruo-Tong Chen, Rong-Xi Tan, Xi Lin, Yunqi Shi, Siyuan Xu, Mingxuan Yuan, Chao Qian
2025	J	`jnl`	Behavioral Fingerprinting of Large Language Models. CoRR Zehua Pei, Hui-Ling Zhen, Yingchun Zhang, Zhiyuan Yang, Xing Li, Xianzhi Yu, Mingxuan Yuan, Bei Yu
2025	J	`jnl`	Beyond Standard MoE: Mixture of Latent Experts for Resource-Efficient Language Models. CoRR Zehua Liu, Han Wu, Ruifeng She, Xiaojin Fu, Xiongwei Han, Tao Zhong, Mingxuan Yuan
2025	J	`jnl`	Beyond Tokens: Enhancing RTL Quality Estimation via Structural Graph Learning. CoRR Yi Liu, Hongjie Zhang, Yiwen Wang, Dimitris Tsaras, Lei Chen, Mingxuan Yuan, Qiang Xu
2025	A*	`conf`	Boosting Neural Combinatorial Optimization for Large-Scale Vehicle Routing Problems. ICLR Fu Luo, Xi Lin, Yaoxin Wu, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang
2025	J	`jnl`	CMoE: Fast Carving of Mixture-of-Experts for Efficient LLM Inference. CoRR Zehua Pei, Lancheng Zou, Hui-Ling Zhen, Xianzhi Yu, Wulong Liu, Sinno Jialin Pan, Mingxuan Yuan, Bei Yu
2025	A*	`conf`	Certifying Language Model Robustness with Fuzzed Randomized Smoothing: An Efficient Defense Against Backdoor Attacks. ICLR Bowei He, Lihao Yin, Hui-Ling Zhen, Jianping Zhang, Lanqing Hong, Mingxuan Yuan, Chen Ma
2025	J	`jnl`	Certifying Language Model Robustness with Fuzzed Randomized Smoothing: An Efficient Defense Against Backdoor Attacks. CoRR Bowei He, Lihao Yin, Hui-Ling Zhen, Jianping Zhang, Lanqing Hong, Mingxuan Yuan, Chen Ma
2025	—	`conf`	Circuit Synthesis based on Hierarchical Conditional Diffusion. ACM Great Lakes Symposium on VLSI Xinyi Zhou, Xing Li, Yingzhao Lian, Yiwen Wang, Lei Chen, Mingxuan Yuan, Jianye Hao, Guangyong Chen, Pheng-Ann Heng
2025	A*	`conf`	Circuit Transformer: A Transformer That Preserves Logical Equivalence. ICLR Xihan Li, Xing Li, Lei Chen, Xing Zhang, Mingxuan Yuan, Jun Wang
2025	A*	`conf`	Computing Circuits Optimization via Model-Based Circuit Genetic Evolution. ICLR Zhihai Wang, Jie Wang, Xilin Xia, Dongsheng Zuo, Lei Chen, Yuzhe Ma, Jianye Hao, Mingxuan Yuan, Feng Wu
2025	J	`jnl`	Discovering Interpretable Programmatic Policies via Multimodal LLM-assisted Evolutionary Search. CoRR Qinglong Hu, Xialiang Tong, Mingxuan Yuan, Fei Liu, Zhichao Lu, Qingfu Zhang
2025	J	`jnl`	E2ESlack: An End-to-End Graph-Based Framework for Pre-Routing Slack Prediction. CoRR Saurabh Bodhe, Zhanguang Zhang, Atia Hamidizadeh, Shixiong Kai, Yingxue Zhang, Mingxuan Yuan
2025	A*	`conf`	EDGE: DBMS-Empowered Boolean Decomposition for GIG Synthesis. DAC Ruofei Tang, Xuliang Zhu, Xinyi Zhang, Lei Chen, Xing Li, Mingxuan Yuan, Jianliang Xu
2025	A*	`conf`	ELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring. DAC Dimitris Tsaras, Xing Li, Lei Chen, Zhiyao Xie, Mingxuan Yuan
2025	J	`jnl`	ELF: Efficient Logic Synthesis by Pruning Redundancy in Refactoring. CoRR Dimitris Tsaras, Xing Li, Lei Chen, Zhiyao Xie, Mingxuan Yuan
2025	J	`jnl`	EoH-S: Evolution of Heuristic Set using LLMs for Automated Heuristic Design. CoRR Fei Liu, Yilu Liu, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2025	J	`jnl`	Fitness Landscape of Large Language Model-Assisted Automated Algorithm Search. CoRR Fei Liu, Qingfu Zhang, Xialiang Tong, Kun Mao, Mingxuan Yuan
2025	J	`jnl`	HDLdebugger: Streamlining HDL debugging with Large Language Models. ACM Trans. Design Autom. Electr. Syst. Xufeng Yao, Haoyang Li, Tsz Ho Chan, Wenyi Xiao, Mingxuan Yuan, Yu Huang, Lei Chen, Bei Yu
2025	J	`jnl`	Harnessing On-Device Large Language Model: Empirical Results and Implications for AI PC. CoRR Qingyu Song, Peiyu Liao, Wenqian Zhao, Yiwen Wang, Shoubo Hu, Hui-Ling Zhen, Ning Jiang, Mingxuan Yuan
2025	A*	`conf`	HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking. ICML Runquan Gui, Zhihai Wang, Jie Wang, Chi Ma, Huiling Zhen, Mingxuan Yuan, Jianye Hao, Defu Lian, Enhong Chen, Feng Wu
2025	J	`jnl`	HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking. CoRR Runquan Gui, Zhihai Wang, Jie Wang, Chi Ma, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Defu Lian, Enhong Chen, Feng Wu
2025	A*	`conf`	KVTuner: Sensitivity-Aware Layer-Wise Mixed-Precision KV Cache Quantization for Efficient and Nearly Lossless LLM Inference. ICML Xing Li, Zeyu Xing, Yiming Li, Linping Qu, Hui-Ling Zhen, Yiwu Yao, Wulong Liu, Sinno Jialin Pan, Mingxuan Yuan
2025	J	`jnl`	KVTuner: Sensitivity-Aware Layer-wise Mixed Precision KV Cache Quantization for Efficient and Nearly Lossless LLM Inference. CoRR Xing Li, Zeyu Xing, Yiming Li, Linping Qu, Hui-Ling Zhen, Wulong Liu, Yiwu Yao, Sinno Jialin Pan, Mingxuan Yuan
2025	A*	`conf`	LLMShare: Optimizing LLM Inference Serving with Hardware Architecture Exploration. DAC Hongduo Liu, Chen Bai, Peng Xu, Lihao Yin, Xianzhi Yu, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2025	A*	`conf`	LaMPlace: Learning to Optimize Cross-Stage Metrics in Macro Placement. ICLR Zijie Geng, Jie Wang, Ziyan Liu, Siyuan Xu, Zhentao Tang, Shixiong Kai, Mingxuan Yuan, Jianye Hao, Feng Wu
2025	—	`conf`	Large Language Model for Multiobjective Evolutionary Optimization. EMO (2) Fei Liu, Xi Lin, Shunyu Yao, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang
2025	J	`jnl`	Layout Decomposition via Boolean Satisfiability. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Hongduo Liu, Peiyu Liao, Mengchuan Zou, Bowen Pang, Xijun Li, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2025	—	`conf`	LoRE-Merging: Exploring Low-Rank Estimation For Large Language Model Merging. EMNLP (Findings) Zehua Liu, Han Wu, Yuxuan Yao, Xiaojin Fu, Ruifeng She, Xiongwei Han, Tao Zhong, Mingxuan Yuan
2025	J	`jnl`	LoRE-Merging: Exploring Low-Rank Estimation For Large Language Model Merging. CoRR Zehua Liu, Han Wu, Yuxuan Yao, Ruifeng She, Xiongwei Han, Tao Zhong, Mingxuan Yuan
2025	A*	`conf`	Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving. DAC Zhengyuan Shi, Tiebing Tang, Jiaying Zhu, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2025	J	`jnl`	LoopServe: An Adaptive Dual-phase LLM Inference Acceleration System for Multi-Turn Dialogues. CoRR Haoyang Li, Zhanchao Xu, Yiming Li, Xuejia Chen, Darian Li, Anxin Tian, Qingfa Xiao, Cheng Deng, Jun Wang, Qing Li, Lei Chen, Mingxuan Yuan
2025	J	`jnl`	MOSS: Efficient and Accurate FP8 LLM Training with Microscaling and Automatic Scaling. CoRR Yu Zhang, Hui-Ling Zhen, Mingxuan Yuan, Bei Yu
2025	—	`conf`	MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization. ASP-DAC Faezeh Faez, Raika Karimi, Yingxue Zhang, Xing Li, Lei Chen, Mingxuan Yuan, Mahdi Biparva
2025	J	`jnl`	Machine Learning-Assisted Multiobjective Evolutionary Algorithm for Routing and Packing. IEEE Trans. Evol. Comput. Fei Liu, Qingfu Zhang, Qingling Zhu, Xialiang Tong, Mingxuan Yuan
2025	A	`conf`	Maximum Fanout-Free Window Enumeration: Towards Multi-Output Sub-Structure Synthesis. DATE Ruofei Tang, Xuliang Zhu, Lei Chen, Xing Li, Xin Huang, Mingxuan Yuan, Jianliang Xu
2025	J	`jnl`	One Step Beyond: Feedthrough & Placement-Aware Rectilinear Floorplanner. CoRR Zhexuan Xu, Jie Wang, Siyuan Xu, Zijie Geng, Mingxuan Yuan, Feng Wu
2025	J	`jnl`	Open3DBench: Open-Source Benchmark for 3D-IC Backend Implementation and PPA Evaluation. CoRR Yunqi Shi, Chengrui Gao, Wanqi Ren, Siyuan Xu, Ke Xue, Mingxuan Yuan, Chao Qian, Zhi-Hua Zhou
2025	J	`jnl`	Optimization Modeling via Semantic Anchored Alignment. CoRR Yansen Zhang, Qingcan Kang, Yujie Chen, Yufei Wang, Xiongwei Han, Tao Zhong, Mingxuan Yuan, Chen Ma
2025	J	`jnl`	PASER: Post-Training Data Selection for Efficient Pruned Large Language Model Recovery. CoRR Bowei He, Lihao Yin, Hui-Ling Zhen, Xiaokun Zhang, Mingxuan Yuan, Chen Ma
2025	—	`conf`	PCBAgent: An Agent-based Framework for High-Density Printed Circuit Board Placement. ASP-DAC Lin Chen, Ran Chen, Shoubo Hu, Xufeng Yao, Zhentao Tang, Shixiong Kai, Siyuan Xu, Mingxuan Yuan, Jianye Hao, Bei Yu, Jiang Xu
2025	J	`jnl`	Piano: A Multi-Constraint Pin Assignment-Aware Floorplanner. CoRR Zhexuan Xu, Kexin Zhou, Jie Wang, Zijie Geng, Siyuan Xu, Shixiong Kai, Mingxuan Yuan, Feng Wu
2025	J	`jnl`	PreMoe: Lightening MoEs on Constrained Memory by Expert Pruning and Retrieval. CoRR Zehua Pei, Yingchun Zhang, Hui-Ling Zhen, Xianzhi Yu, Wulong Liu, Sinno Jialin Pan, Mingxuan Yuan, Bei Yu
2025	J	`jnl`	Preserving LLM Capabilities through Calibration Data Curation: From Analysis to Optimization. CoRR Bowei He, Lihao Yin, Hui-Ling Zhen, Shuqi Liu, Han Wu, Xiaokun Zhang, Mingxuan Yuan, Chen Ma
2025	J	`jnl`	REG: A Regularization Optimizer for Robust Training Dynamics. CoRR Zehua Liu, Han Wu, Xiaojin Fu, Shuqi Liu, Xiongwei Han, Tao Zhong, Mingxuan Yuan
2025	J	`jnl`	Re CoRR Yunqi Shi, Xi Lin, Zhiang Wang, Siyuan Xu, Shixiong Kai, Yao Lai, Chengrui Gao, Ke Xue, Mingxuan Yuan, Chao Qian, Zhi-Hua Zhou
2025	A*	`conf`	ReMaP: Macro Placement by Recursively Prototyping and Periphery-Guided Relocating. DAC Yunqi Shi, Xi Lin, Siyuan Xu, Shixiong Kai, Ke Xue, Mingxuan Yuan, Chao Qian, Zhi-Hua Zhou
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
2025	J	`jnl`	SCOPE: Prompt Evolution for Enhancing Agent Effectiveness. CoRR Zehua Pei, Hui-Ling Zhen, Shixiong Kai, Sinno Jialin Pan, Yunhe Wang, Mingxuan Yuan, Bei Yu
2025	J	`jnl`	SVDq: 1.25-bit and 410x Key Cache Compression for LLM Attention. CoRR Hong Yankun, Xing Li, Hui-Ling Zhen, Xianzhi Yu, Wulong Liu, Mingxuan Yuan
2025	J	`jnl`	Scaling Up, Speeding Up: A Benchmark of Speculative Decoding for Efficient LLM Test-Time Scaling. CoRR Shengyin Sun, Yiming Li, Xing Li, Yingzhao Lian, Weizhe Lin, Hui-Ling Zhen, Zhiyuan Yang, Chen Chen, Xianzhi Yu, Mingxuan Yuan, Chen Ma
2025	—	`conf`	Sens-Merging: Sensitivity-Guided Parameter Balancing for Merging Large Language Models. ACL (Findings) Shuqi Liu, Han Wu, Bowei He, Xiongwei Han, Mingxuan Yuan, Linqi Song
2025	J	`jnl`	Sens-Merging: Sensitivity-Guided Parameter Balancing for Merging Large Language Models. CoRR Shuqi Liu, Han Wu, Bowei He, Xiongwei Han, Mingxuan Yuan, Linqi Song
2025	A*	`conf`	SmaRTLy: RTL Optimization with Logic Inferencing and Structural Rebuilding. DAC Chengxi Li, Yang Sun, Lei Chen, Yiwen Wang, Mingxuan Yuan, Evangeline F. Y. Young
2025	J	`jnl`	SmaRTLy: RTL Optimization with Logic Inferencing and Structural Rebuilding. CoRR Chengxi Li, Yang Sun, Lei Chen, Yiwen Wang, Mingxuan Yuan, Evangeline F. Y. Young
2025	A*	`conf`	SmoothGNN: Smoothing-aware GNN for Unsupervised Node Anomaly Detection. WWW Xiangyu Dong, Xingyi Zhang, Yanni Sun, Lei Chen, Mingxuan Yuan, Sibo Wang
2025	A*	`conf`	SpaceGNN: Multi-Space Graph Neural Network for Node Anomaly Detection with Extremely Limited Labels. ICLR Xiangyu Dong, Xingyi Zhang, Lei Chen, Mingxuan Yuan, Sibo Wang
2025	J	`jnl`	SpaceGNN: Multi-Space Graph Neural Network for Node Anomaly Detection with Extremely Limited Labels. CoRR Xiangyu Dong, Xingyi Zhang, Lei Chen, Mingxuan Yuan, Sibo Wang
2025	A*	`conf`	The Graph's Apprentice: Teaching an LLM Low-Level Knowledge for Circuit Quality Estimation. IJCAI Reza Moravej, Saurabh Bodhe, Zhanguang Zhang, Didier Chételat, Dimitrios Tsaras, Yingxue Zhang, Hui-Ling Zhen, Jianye Hao, Mingxuan Yuan
2025	A	`conf`	Timing-Driven Global Placement by Efficient Critical Path Extraction. DATE Yunqi Shi, Siyuan Xu, Shixiong Kai, Xi Lin, Ke Xue, Mingxuan Yuan, Chao Qian
2025	J	`jnl`	Timing-Driven Global Placement by Efficient Critical Path Extraction. CoRR Yunqi Shi, Siyuan Xu, Shixiong Kai, Xi Lin, Ke Xue, Mingxuan Yuan, Chao Qian
2025	J	`jnl`	Towards Efficient Agents: A Co-Design of Inference Architecture and System. CoRR Weizhe Lin, Hui-Ling Zhen, Shuai Yang, Xian Wang, Renxi Liu, Hanting Chen, Wangze Zhang, Chuansai Zhou, Yiming Li, Chen Chen, Xing Li, Zhiyuan Yang, Xiaosong Li, Xianzhi Yu, Zhenhua Dong, Mingxuan Yuan, Yunhe Wang
2025	J	`jnl`	TrimR: Verifier-based Training-Free Thinking Compression for Efficient Test-Time Scaling. CoRR Weizhe Lin, Xing Li, Zhiyuan Yang, Xiaojin Fu, Hui-Ling Zhen, Yaoyuan Wang, Xianzhi Yu, Wulong Liu, Xiaosong Li, Mingxuan Yuan
2025	J	`jnl`	Unlocking Efficient Long-to-Short LLM Reasoning with Model Merging. CoRR Han Wu, Yuxuan Yao, Shuqi Liu, Zehua Liu, Xiaojin Fu, Xiongwei Han, Xing Li, Hui-Ling Zhen, Tao Zhong, Mingxuan Yuan
2024	A*	`conf`	A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design. ICML Zhihai Wang, Lei Chen, Jie Wang, Yinqi Bai, Xing Li, Xijun Li, Mingxuan Yuan, Jianye Hao, Yongdong Zhang, Feng Wu
2024	A*	`conf`	A Hierarchical Adaptive Multi-Task Reinforcement Learning Framework for Multiplier Circuit Design. ICML Zhihai Wang, Jie Wang, Dongsheng Zuo, Yunjie Ji, Xilin Xia, Yuzhe Ma, Jianye Hao, Mingxuan Yuan, Yongdong Zhang, Feng Wu
2024	J	`jnl`	A Systematic Survey on Large Language Models for Algorithm Design. CoRR Fei Liu, Yiming Yao, Ping Guo, Zhiyuan Yang, Zhe Zhao, Xi Lin, Xialiang Tong, Mingxuan Yuan, Zhichao Lu, Zhenkun Wang, Qingfu Zhang
2024	J	`jnl`	An Example of Evolutionary Computation + Large Language Model Beating Human: Design of Efficient Guided Local Search. CoRR Fei Liu, Xialiang Tong, Mingxuan Yuan, Xi Lin, Fu Luo, Zhenkun Wang, Zhichao Lu, Qingfu Zhang
2024	J	`jnl`	Benchmarking End-To-End Performance of AI-Based Chip Placement Algorithms. CoRR Zhihai Wang, Zijie Geng, Zhaojie Tu, Jie Wang, Yuxi Qian, Zhexuan Xu, Ziyan Liu, Siyuan Xu, Zhentao Tang, Shixiong Kai, Mingxuan Yuan, Jianye Hao, Bin Li, Yongdong Zhang, Feng Wu
2024	A*	`conf`	BetterV: Controlled Verilog Generation with Discriminative Guidance. ICML Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu
2024	J	`jnl`	BetterV: Controlled Verilog Generation with Discriminative Guidance. CoRR Zehua Pei, Hui-Ling Zhen, Mingxuan Yuan, Yu Huang, Bei Yu
2024	J	`jnl`	Circuit Transformer: End-to-end Circuit Design by Predicting the Next Gate. CoRR Xihan Li, Xing Li, Lei Chen, Xing Zhang, Mingxuan Yuan, Jun Wang
2024	A*	`conf`	DPN: Decoupling Partition and Navigation for Neural Solvers of Min-max Vehicle Routing Problems. ICML Zhi Zheng, Shunyu Yao, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Ke Tang
2024	J	`jnl`	DPN: Decoupling Partition and Navigation for Neural Solvers of Min-max Vehicle Routing Problems. CoRR Zhi Zheng, Shunyu Yao, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Ke Tang
2024	A	`conf`	DiffSAT: Differential MaxSAT Layer for SAT Solving. ICCAD Yu Zhang, Hui-Ling Zhen, Mingxuan Yuan, Bei Yu
2024	J	`jnl`	EDA-Driven Preprocessing for SAT Solving. CoRR Zhengyuan Shi, Tiebing Tang, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
2024	J	`jnl`	Erratum to: Large circuit models: opportunities and challenges. Sci. China Inf. Sci. Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Ru Huang, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yu Li, Yun Liang, Jinwei Liu, Yi Liu, Yibo Lin, Guojie Luo, Hongyang Pan, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Junchi Yan, Jun Yang, Bei Yu, Mingxuan Yuan, Evangeline F. Y. Young, Xuan Zeng, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou
2024	A*	`conf`	Evolution of Heuristics: Towards Efficient Automatic Algorithm Design Using Large Language Model. ICML Fei Liu, Xialiang Tong, Mingxuan Yuan, Xi Lin, Fu Luo, Zhenkun Wang, Zhichao Lu, Qingfu Zhang
2024	B	`conf`	FineMap: A Fine-grained GPU-parallel LUT Mapping Engine. ASPDAC Tianji Liu, Lei Chen, Xing Li, Mingxuan Yuan, Evangeline F. Y. Young
2024	A*	`conf`	FlexPlanner: Flexible 3D Floorplanning via Deep Reinforcement Learning in Hybrid Action Space with Multi-Modality Representation. NeurIPS Ruizhe Zhong, Xingbo Du, Shixiong Kai, Zhentao Tang, Siyuan Xu, Jianye Hao, Mingxuan Yuan, Junchi Yan
2024	J	`jnl`	FuseGPT: Learnable Layers Fusion of Generative Pre-trained Transformers. CoRR Zehua Pei, Hui-Ling Zhen, Xianzhi Yu, Sinno Jialin Pan, Mingxuan Yuan, Bei Yu
2024	A*	`conf`	GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. KDD Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan
2024	J	`jnl`	GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection. CoRR Zhanguang Zhang, Didier Chételat, Joseph Cotnareanu, Amur Ghose, Wenyi Xiao, Hui-Ling Zhen, Yingxue Zhang, Jianye Hao, Mark Coates, Mingxuan Yuan
2024	J	`jnl`	HDLdebugger: Streamlining HDL debugging with Large Language Models. CoRR Xufeng Yao, Haoyang Li, Tsz Ho Chan, Wenyi Xiao, Mingxuan Yuan, Yu Huang, Lei Chen, Bei Yu
2024	J	`jnl`	IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability. CoRR Tsz Ho Chan, Wenyi Xiao, Junhua Huang, Hui-Ling Zhen, Guangji Tian, Mingxuan Yuan
2024	J	`jnl`	Instance-Conditioned Adaptation for Large-scale Generalization of Neural Combinatorial Optimization. CoRR Changliang Zhou, Xi Lin, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang
2024	A	`conf`	JigsawPlanner: Jigsaw-like Floorplanner for Eliminating Whitespace and Overlap among Complex Rectilinear Modules. ICCAD Xingbo Du, Ruizhe Zhong, Shixiong Kai, Zhentao Tang, Siyuan Xu, Jianye Hao, Mingxuan Yuan, Junchi Yan
2024	A*	`conf`	Joint Directory, File and IO Trace Feature Extraction and Feature-based Trace Regeneration for Enterprise Storage Systems. ICDE Kecheng Huang, Xijun Li, Mingxuan Yuan, Ji Zhang, Zili Shao
2024	J	`jnl`	LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation. CoRR Ruizhe Zhong, Xingbo Du, Shixiong Kai, Zhentao Tang, Siyuan Xu, Hui-Ling Zhen, Jianye Hao, Qiang Xu, Mingxuan Yuan, Junchi Yan
2024	J	`jnl`	Large circuit models: opportunities and challenges. Sci. China Inf. Sci. Lei Chen, Yiqi Chen, Zhufei Chu, Wenji Fang, Tsung-Yi Ho, Ru Huang, Yu Huang, Sadaf Khan, Min Li, Xingquan Li, Yu Li, Yun Liang, Jinwei Liu, Yi Liu, Yibo Lin, Guojie Luo, Hongyang Pan, Zhengyuan Shi, Guangyu Sun, Dimitrios Tsaras, Runsheng Wang, Ziyi Wang, Xinming Wei, Zhiyao Xie, Qiang Xu, Chenhao Xue, Junchi Yan, Jun Yang, Bei Yu, Mingxuan Yuan, Evangeline F. Y. Young, Xuan Zeng, Haoyi Zhang, Zuodong Zhang, Yuxiang Zhao, Hui-Ling Zhen, Ziyang Zheng, Binwu Zhu, Keren Zhu, Sunan Zou
2024	J	`jnl`	Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming. CoRR Jie Wang, Zhihai Wang, Xijun Li, Yufei Kuang, Zhihao Shi, Fangzhou Zhu, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu
2024	J	`jnl`	Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming. IEEE Trans. Pattern Anal. Mach. Intell. Jie Wang, Zhihai Wang, Xijun Li, Yufei Kuang, Zhihao Shi, Fangzhou Zhu, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu
2024	J	`jnl`	Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers. CoRR Raika Karimi, Faezeh Faez, Yingxue Zhang, Xing Li, Lei Chen, Mingxuan Yuan, Mahdi Biparva
2024	J	`jnl`	Logic Synthesis with Generative Deep Neural Networks. CoRR Xihan Li, Xing Li, Lei Chen, Xing Zhang, Mingxuan Yuan, Jun Wang
2024	J	`jnl`	MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization. CoRR Faezeh Faez, Raika Karimi, Yingxue Zhang, Xing Li, Lei Chen, Mingxuan Yuan, Mahdi Biparva
2024	J	`jnl`	Machine Learning Insides OptVerse AI Solver: Design Principles and Applications. CoRR Xijun Li, Fangzhou Zhu, Hui-Ling Zhen, Weilin Luo, Meng Lu, Yimin Huang, Zhenan Fan, Zirui Zhou, Yufei Kuang, Zhihai Wang, Zijie Geng, Yang Li, Haoyang Liu, Zhiwu An, Muming Yang, Jianshu Li, Jie Wang, Junchi Yan, Defeng Sun, Tao Zhong, Yong Zhang, Jia Zeng, Mingxuan Yuan, Jianye Hao, Jun Yao, Kun Mao
2024	J	`jnl`	MixPE: Quantization and Hardware Co-design for Efficient LLM Inference. CoRR Yu Zhang, Mingzi Wang, Lancheng Zou, Wulong Liu, Hui-Ling Zhen, Mingxuan Yuan, Bei Yu
2024	A*	`conf`	Multi-Task Learning for Routing Problem with Cross-Problem Zero-Shot Generalization. KDD Fei Liu, Xi Lin, Zhenkun Wang, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2024	J	`jnl`	Multi-Task Learning for Routing Problem with Cross-Problem Zero-Shot Generalization. CoRR Fei Liu, Xi Lin, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2024	A*	`conf`	NeuroSelect: Learning to Select Clauses in SAT Solvers. DAC Hongduo Liu, Peng Xu, Yuan Pu, Lihao Yin, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2024	A	`conf`	Parallel Gröbner Basis Rewriting and Memory Optimization for Efficient Multiplier Verification. DATE Hongduo Liu, Peiyu Liao, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2024	A*	`conf`	PreRoutGNN for Timing Prediction with Order Preserving Partition: Global Circuit Pre-training, Local Delay Learning and Attentional Cell Modeling. AAAI Ruizhe Zhong, Junjie Ye, Zhentao Tang, Shixiong Kai, Mingxuan Yuan, Jianye Hao, Junchi Yan
2024	J	`jnl`	PreRoutGNN for Timing Prediction with Order Preserving Partition: Global Circuit Pre-training, Local Delay Learning and Attentional Cell Modeling. CoRR Ruizhe Zhong, Junjie Ye, Zhentao Tang, Shixiong Kai, Mingxuan Yuan, Jianye Hao, Junchi Yan
2024	A*	`conf`	Prompt Learning for Generalized Vehicle Routing. IJCAI Fei Liu, Xi Lin, Weiduo Liao, Zhenkun Wang, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2024	J	`jnl`	Prompt Learning for Generalized Vehicle Routing. CoRR Fei Liu, Xi Lin, Weiduo Liao, Zhenkun Wang, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2024	A	`conf`	RTLRewriter: Methodologies for Large Models aided RTL Code Optimization. ICCAD Xufeng Yao, Yiwen Wang, Xing Li, Yingzhao Lian, Ran Chen, Lei Chen, Mingxuan Yuan, Hong Xu, Bei Yu
2024	J	`jnl`	RTLRewriter: Methodologies for Large Models aided RTL Code Optimization. CoRR Xufeng Yao, Yiwen Wang, Xing Li, Yingzhao Lian, Ran Chen, Lei Chen, Mingxuan Yuan, Hong Xu, Bei Yu
2024	A*	`conf`	Reinforcement Learning within Tree Search for Fast Macro Placement. ICML Zijie Geng, Jie Wang, Ziyan Liu, Siyuan Xu, Zhentao Tang, Mingxuan Yuan, Jianye Hao, Yongdong Zhang, Feng Wu
2024	J	`jnl`	SeaDAG: Semi-autoregressive Diffusion for Conditional Directed Acyclic Graph Generation. CoRR Xinyi Zhou, Xing Li, Yingzhao Lian, Yiwen Wang, Lei Chen, Mingxuan Yuan, Jianye Hao, Guangyong Chen, Pheng-Ann Heng
2024	J	`jnl`	Self-Improved Learning for Scalable Neural Combinatorial Optimization. CoRR Fu Luo, Xi Lin, Zhenkun Wang, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang
2024	J	`jnl`	ShortCircuit: AlphaZero-Driven Circuit Design. CoRR Dimitrios Tsaras, Antoine Grosnit, Lei Chen, Zhiyao Xie, Haitham Bou-Ammar, Mingxuan Yuan
2024	J	`jnl`	SmoothGNN: Smoothing-based GNN for Unsupervised Node Anomaly Detection. CoRR Xiangyu Dong, Xingyi Zhang, Yanni Sun, Lei Chen, Mingxuan Yuan, Sibo Wang
2024	J	`jnl`	SoLA: Solver-Layer Adaption of LLM for Better Logic Reasoning. CoRR Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, Bei Yu
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`	The Graph's Apprentice: Teaching an LLM Low Level Knowledge for Circuit Quality Estimation. CoRR Reza Moravej, Saurabh Bodhe, Zhanguang Zhang, Didier Chételat, Dimitrios Tsaras, Yingxue Zhang, Hui-Ling Zhen, Jianye Hao, Mingxuan Yuan
2024	A*	`conf`	Towards Next-Generation Logic Synthesis: A Scalable Neural Circuit Generation Framework. NeurIPS Zhihai Wang, Jie Wang, Qingyue Yang, Yinqi Bai, Xing Li, Lei Chen, Jianye Hao, Mingxuan Yuan, Bin Li, Yongdong Zhang, Feng Wu
2024	A*	`conf`	UDC: A Unified Neural Divide-and-Conquer Framework for Large-Scale Combinatorial Optimization Problems. NeurIPS Zhi Zheng, Changliang Zhou, Xialiang Tong, Mingxuan Yuan, Zhenkun Wang
2024	J	`jnl`	UDC: A Unified Neural Divide-and-Conquer Framework for Large-Scale Combinatorial Optimization Problems. CoRR Zhi Zheng, Changliang Zhou, Xialiang Tong, Mingxuan Yuan, Zhenkun Wang
2023	J	`jnl`	A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design. CoRR Zhihai Wang, Lei Chen, Jie Wang, Xing Li, Yinqi Bai, Xijun Li, Mingxuan Yuan, Jianye Hao, Yongdong Zhang, Feng Wu
2023	A*	`conf`	A Database Dependent Framework for K-Input Maximum Fanout-Free Window Rewriting. DAC Xuliang Zhu, Ruofei Tang, Lei Chen, Xing Li, Xin Huang, Mingxuan Yuan, Weihua Sheng, Jianliang Xu
2023	J	`jnl`	A survey for solving mixed integer programming via machine learning. Neurocomputing Jiayi Zhang, Chang Liu, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan, Yawen Li, Junchi Yan
2023	J	`jnl`	Algorithm Evolution Using Large Language Model. CoRR Fei Liu, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang
2023	J	`jnl`	Conflict-driven Structural Learning Towards Higher Coverage Rate in ATPG. CoRR Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang
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	A	`conf`	EasyMap: Improving Technology Mapping via Exploration-Enhanced Heuristics and Adaptive Sequencing. ICCAD Peiyu Wang, Anqi Lu, Xing Li, Junjie Ye, Lei Chen, Mingxuan Yuan, Jianye Hao, Junchi Yan
2023	A	`conf`	EasySO: Exploration-enhanced Reinforcement Learning for Logic Synthesis Sequence Optimization and a Comprehensive RL Environment. ICCAD Jianyong Yuan, Peiyu Wang, Junjie Ye, Mingxuan Yuan, Jianye Hao, Junchi Yan
2023	A	`conf`	EffiSyn: Efficient Logic Synthesis with Dynamic Scoring and Pruning. ICCAD Xing Li, Lei Chen, Jiantang Zhang, Shuang Wen, Weihua Sheng, Yu Huang, Mingxuan Yuan
2023	A*	`conf`	HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. KDD Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan
2023	J	`jnl`	Heuristics for Vehicle Routing Problem: A Survey and Recent Advances. CoRR Fei Liu, Chengyu Lu, Lin Gui, Qingfu Zhang, Xialiang Tong, Mingxuan Yuan
2023	A	`conf`	IT-DSE: Invariance Risk Minimized Transfer Microarchitecture Design Space Exploration. ICCAD Ziyang Yu, Chen Bai, Shoubo Hu, Ran Chen, Taohai He, Mingxuan Yuan, Bei Yu, Martin D. F. Wong
2023	J	`jnl`	Large Language Model for Multi-objective Evolutionary Optimization. CoRR Fei Liu, Xi Lin, Zhenkun Wang, Shunyu Yao, Xialiang Tong, Mingxuan Yuan, Qingfu Zhang
2023	A*	`conf`	Layout Decomposition via Boolean Satisfiability. DAC Hongduo Liu, Peiyu Liao, Mengchuan Zou, Bowen Pang, Xijun Li, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu
2023	A*	`conf`	Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model. ICLR Zhihai Wang, Xijun Li, Jie Wang, Yufei Kuang, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu
2023	J	`jnl`	Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model. CoRR Zhihai Wang, Xijun Li, Jie Wang, Yufei Kuang, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu
2023	A*	`conf`	Lightweight Structural Choices Operator for Technology Mapping. DAC Antoine Grosnit, Matthieu Zimmer, Rasul Tutunov, Xing Li, Lei Chen, Fan Yang, Mingxuan Yuan, Haitham Bou-Ammar
2023	J	`jnl`	Machine Learning Methods in Solving the Boolean Satisfiability Problem. Mach. Intell. Res. Wenxuan Guo, Hui-Ling Zhen, Xijun Li, Wanqian Luo, Mingxuan Yuan, Yaohui Jin, Junchi Yan
2023	J	`jnl`	Orca: Scalable Temporal Graph Neural Network Training with Theoretical Guarantees. Proc. ACM Manag. Data Yiming Li, Yanyan Shen, Lei Chen, Mingxuan Yuan
2023	A*	`conf`	ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs. ICLR Han Lu, Zenan Li, Runzhong Wang, Qibing Ren, Xijun Li, Mingxuan Yuan, Jia Zeng, Xiaokang Yang, Junchi Yan
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
2023	B	`conf`	SGDP: A Stream-Graph Neural Network Based Data Prefetcher. IJCNN Yiyuan Yang, Rongshang Li, Qiquan Shi, Xijun Li, Gang Hu, Xing Li, Mingxuan Yuan
2023	J	`jnl`	SGDP: A Stream-Graph Neural Network Based Data Prefetcher. CoRR Yiyuan Yang, Rongshang Li, Qiquan Shi, Xijun Li, Gang Hu, Xing Li, Mingxuan Yuan
2023	J	`jnl`	Zebra: When Temporal Graph Neural Networks Meet Temporal Personalized PageRank. Proc. VLDB Endow. Yiming Li, Yanyan Shen, Lei Chen, Mingxuan Yuan
2022	J	`jnl`	A Data-Driven Column Generation Algorithm For Bin Packing Problem in Manufacturing Industry. CoRR Jiahui Duan, Xialiang Tong, Fei Ni, Zhenan He, Lei Chen, Mingxuan Yuan
2022	J	`jnl`	A Survey for Solving Mixed Integer Programming via Machine Learning. CoRR Jiayi Zhang, Chang Liu, Junchi Yan, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan
2022	—	`conf`	Accelerate SAT-based ATPG via Preprocessing and New Conflict Management Heuristics. ASP-DAC Junhua Huang, Hui-Ling Zhen, Naixing Wang, Mingxuan Yuan, Hui Mao, Yu Huang, Jiping Tao
2022	J	`jnl`	Accelerate the optimization of large-scale manufacturing planning using game theory. Complex Intell. Syst. Hui-Ling Zhen, Zhenkun Wang, Xijun Li, Qingfu Zhang, Mingxuan Yuan, Jia Zeng
2022	J	`jnl`	An Improved Reinforcement Learning Algorithm for Learning to Branch. CoRR Qingyu Qu, Xijun Li, Yunfan Zhou, Jia Zeng, Mingxuan Yuan, Jie Wang, Jinhu Lv, Kexin Liu, Kun Mao
2022	A	`conf`	Batch Sequential Black-Box Optimization with Embedding Alignment Cells for Logic Synthesis. ICCAD Chang Feng, Wenlong Lyu, Zhitang Chen, Junjie Ye, Mingxuan Yuan, Jianye Hao
2022	J	`jnl`	Bilevel learning for large-scale flexible flow shop scheduling. Comput. Ind. Eng. Longkang Li, Xiaojin Fu, Hui-Ling Zhen, Mingxuan Yuan, Jun Wang, Jiawen Lu, Xialiang Tong, Jia Zeng, Dirk Schnieders
2022	—	`conf`	Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-Based Policy Learning. ECML/PKDD (5) Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang
2022	J	`jnl`	Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning. CoRR Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang
2022	J	`jnl`	Context-Aware Telco Outdoor Localization. IEEE Trans. Mob. Comput. Yige Zhang, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Pan Hui
2022	A*	`conf`	HIMap: a heuristic and iterative logic synthesis approach. DAC Xing Li, Lei Chen, Fan Yang, Mingxuan Yuan, Hongli Yan, Yupeng Wan
2022	J	`jnl`	Introduction to The Dynamic Pickup and Delivery Problem Benchmark - ICAPS 2021 Competition. CoRR Jianye Hao, Jiawen Lu, Xijun Li, Xialiang Tong, Xiang Xiang, Mingxuan Yuan, Hankz Hankui Zhuo
2022	A*	`conf`	L-QoCo: learning to optimize cache capacity overloading in storage systems. DAC Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li
2022	J	`jnl`	LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems. CoRR Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li
2022	B	`conf`	Learning to Optimize DAG Scheduling in Heterogeneous Environment. MDM Yunfan Zhou, Xijun Li, Jinhong Luo, Mingxuan Yuan, Jia Zeng, Jianguo Yao
2022	J	`jnl`	Learning to Reformulate for Linear Programming. CoRR Xijun Li, Qingyu Qu, Fangzhou Zhu, Jia Zeng, Mingxuan Yuan, Kun Mao, Jie Wang
2022	J	`jnl`	Learning to select cuts for efficient mixed-integer programming. Pattern Recognit. Zeren Huang, Kerong Wang, Furui Liu, Hui-Ling Zhen, Weinan Zhang, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang
2022	J	`jnl`	Machine Learning Methods in Solving the Boolean Satisfiability Problem. CoRR Wenxuan Guo, Junchi Yan, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Yaohui Jin
2022	J	`jnl`	Multiobjective Optimization-Aided Decision-Making System for Large-Scale Manufacturing Planning. IEEE Trans. Cybern. Zhenkun Wang, Hui-Ling Zhen, Jingda Deng, Qingfu Zhang, Xijun Li, Mingxuan Yuan, Jia Zeng
2022	A	`conf`	Neural Fault Analysis for SAT-based ATPG. ITC Junhua Huang, Hui-Ling Zhen, Naixing Wang, Hui Mao, Mingxuan Yuan, Yu Huang
2022	J	`jnl`	SATformer: Transformers for SAT Solving. CoRR Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
2021	J	`jnl`	A Data-Driven Sequential Localization Framework for Big Telco Data. IEEE Trans. Knowl. Data Eng. Fangzhou Zhu, Mingxuan Yuan, Xike Xie, Ting Wang, Shenglin Zhao, Weixiong Rao, Jia Zeng
2021	A*	`conf`	A Hierarchical Reinforcement Learning Based Optimization Framework for Large-scale Dynamic Pickup and Delivery Problems. NeurIPS Yi Ma, Xiaotian Hao, Jianye Hao, Jiawen Lu, Xing Liu, Xialiang Tong, Mingxuan Yuan, Zhigang Li, Jie Tang, Zhaopeng Meng
2021	A*	`conf`	A Multi-Graph Attributed Reinforcement Learning based Optimization Algorithm for Large-scale Hybrid Flow Shop Scheduling Problem. KDD Fei Ni, Jianye Hao, Jiawen Lu, Xialiang Tong, Mingxuan Yuan, Jiahui Duan, Yi Ma, Kun He
2021	A	`conf`	Block Access Pattern Discovery via Compressed Full Tensor Transformer. CIKM Xing Li, Qiquan Shi, Gang Hu, Lei Chen, Hui Mao, Yiyuan Yang, Mingxuan Yuan, Jia Zeng, Zhuo Cheng
2021	J	`jnl`	Context-aware Telco Outdoor Localization. CoRR Yige Zhang, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Pan Hui
2021	A	`conf`	Grassland: A Rapid Algebraic Modeling System for Million-variable Optimization. CIKM Xihan Li, Xiongwei Han, Zhishuo Zhou, Mingxuan Yuan, Jia Zeng, Jun Wang
2021	J	`jnl`	Grassland: A Rapid Algebraic Modeling System for Million-variable Optimization. CoRR Xihan Li, Xiongwei Han, Zhishuo Zhou, Mingxuan Yuan, Jia Zeng, Jun Wang
2021	J	`jnl`	Learning to Optimize DAG Scheduling in Heterogeneous Environment. CoRR Jinhong Luo, Xijun Li, Mingxuan Yuan, Jianguo Yao, Jia Zeng
2021	A*	`conf`	Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems. ICDE Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lü, Jia Zeng
2021	J	`jnl`	Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems. CoRR Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lu, Jia Zeng
2021	A	`conf`	Learning to Pack: A Data-Driven Tree Search Algorithm for Large-Scale 3D Bin Packing Problem. CIKM Qianwen Zhu, Xihan Li, Zihan Zhang, Zhixing Luo, Xialiang Tong, Mingxuan Yuan, Jia Zeng
2021	J	`jnl`	Learning to Select Cuts for Efficient Mixed-Integer Programming. CoRR Zeren Huang, Kerong Wang, Furui Liu, Hui-Ling Zhen, Weinan Zhang, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang
2021	—	`conf`	Learning-Aided Heuristics Design for Storage System. SIGMOD Conference Yingtian Tang, Han Lu, Xijun Li, Lei Chen, Mingxuan Yuan, Jia Zeng
2021	J	`jnl`	Learning-Aided Heuristics Design for Storage System. CoRR Yingtian Tang, Han Lu, Xijun Li, Lei Chen, Mingxuan Yuan, Jia Zeng
2021	J	`jnl`	Transfer Learning-Based Outdoor Position Recovery With Cellular Data. IEEE Trans. Mob. Comput. Yige Zhang, Aaron Yi Ding, Jörg Ott, Mingxuan Yuan, Jia Zeng, Kun Zhang, Weixiong Rao
2020	J	`jnl`	Bilevel Learning Model Towards Industrial Scheduling. CoRR Longkang Li, Hui-Ling Zhen, Mingxuan Yuan, Jiawen Lu, Xialiang Tong, Jia Zeng, Jun Wang, Dirk Schnieders
2020	A*	`conf`	Block Hankel Tensor ARIMA for Multiple Short Time Series Forecasting. AAAI Qiquan Shi, Jiaming Yin, Jiajun Cai, Andrzej Cichocki, Tatsuya Yokota, Lei Chen, Mingxuan Yuan, Jia Zeng
2020	J	`jnl`	Block Hankel Tensor ARIMA for Multiple Short Time Series Forecasting. CoRR Qiquan Shi, Jiaming Yin, Jiajun Cai, Andrzej Cichocki, Tatsuya Yokota, Lei Chen, Mingxuan Yuan, Jia Zeng
2020	A*	`conf`	DFSeer: A Visual Analytics Approach to Facilitate Model Selection for Demand Forecasting. CHI Dong Sun, Zezheng Feng, Yuanzhe Chen, Yong Wang, Jia Zeng, Mingxuan Yuan, Ting-Chuen Pong, Huamin Qu
2020	J	`jnl`	DFSeer: A Visual Analytics Approach to Facilitate Model Selection for Demand Forecasting. CoRR Dong Sun, Zezheng Feng, Yuanzhe Chen, Yong Wang, Jia Zeng, Mingxuan Yuan, Ting-Chuen Pong, Huamin Qu
2020	J	`jnl`	PlanningVis: A Visual Analytics Approach to Production Planning in Smart Factories. IEEE Trans. Vis. Comput. Graph. Dong Sun, Renfei Huang, Yuanzhe Chen, Yong Wang, Jia Zeng, Mingxuan Yuan, Ting-Chuen Pong, Huamin Qu
2019	A*	`conf`	A Data-Driven Approach for Multi-level Packing Problems in Manufacturing Industry. KDD Lei Chen, Xialiang Tong, Mingxuan Yuan, Jia Zeng, Lei Chen
2019	A	`conf`	Experimental Study of Multivariate Time Series Forecasting Models. CIKM Jiaming Yin, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Kai Zhao, Chenxi Zhang, Jiangfeng Li, Qinpei Zhao
2019	A	`conf`	PRNet: Outdoor Position Recovery for Heterogenous Telco Data by Deep Neural Network. CIKM Yige Zhang, Weixiong Rao, Kun Zhang, Mingxuan Yuan, Jia Zeng
2019	J	`jnl`	PlanningVis: A Visual Analytics Approach to Production Planning in Smart Factories. CoRR Dong Sun, Renfei Huang, Yuanzhe Chen, Yong Wang, Jia Zeng, Mingxuan Yuan, Ting-Chuen Pong, Huamin Qu
2019	J	`jnl`	Transfer Learning-Based Outdoor Position Recovery with Telco Data. CoRR Yige Zhang, Aaron Yi Ding, Jörg Ott, Mingxuan Yuan, Jia Zeng, Kun Zhang, Weixiong Rao
2019	J	`jnl`	User Preference Analysis for Most Frequent Peer/Dominator. IEEE Trans. Knowl. Data Eng. Ke Deng, Yanhua Li, Jia Zeng, Mingxuan Yuan, Jun Luo, Jeffrey Xu Yu
2018	A*	`conf`	A Data-Driven Three-Layer Algorithm for Split Delivery Vehicle Routing Problem with 3D Container Loading Constraint. KDD Xijun Li, Mingxuan Yuan, Di Chen, Jianguo Yao, Jia Zeng
2018	A	`conf`	A Two-Layer Algorithmic Framework for Service Provider Configuration and Planning with Optimal Spatial Matching. CIKM Xijun Li, Jianguo Yao, Mingxuan Yuan, Jia Zeng
2018	C	`conf`	BSLoc: Base Station ID-Based Telco Outdoor Localization. ALGOSENSORS Jinhua Lv, Qinpei Zhao, Jiangfeng Li, Yige Zhang, Xiaolei Di, Weixiong Rao, Mingxuan Yuan, Jia Zeng
2018	—	`conf`	Context Aware Telco Churn Prediction Powered By Temporal Feature Engineering. PerCom Workshops Ruirui Bai, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Jianfeng Yan
2018	B	`conf`	Frequent Pattern-Based Map-Matching on Low Sampling Rate Trajectories. MDM Yukun Huang, Weixiong Rao, Zhiqiang Zhang, Peng Zhao, Mingxuan Yuan, Jia Zeng
2018	—	`conf`	Qualitative Instead of Quantitative: Towards Practical Data Analysis Under Differential Privacy. DASFAA (2) Xuanyu Bai, Jianguo Yao, Mingxuan Yuan, Jia Zeng, Haibing Guan
2017	B	`conf`	Confidence Model-Based Data Repair for Telco Localization. MDM Yige Zhang, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Hua Yang
2017	—	`conf`	Correction of Telecom Localization Errors by Context Knowledge. APWeb/WAIM Workshops Minmin Zhu, Buyang Cao, Mingxuan Yuan, Jia Zeng
2017	—	`conf`	Demo abstract: Telco localization techniques. INFOCOM Workshops Peng Zhao, Chenxi Zhang, Yukun Huang, Weixiong Rao, Fangzhou Zhu, Ning Liu, Jie Geng, Mingxuan Yuan, Jia Zeng
2017	J	`jnl`	Detecting and Analyzing Urban Regions with High Impact of Weather Change on Transport. IEEE Trans. Big Data Ye Ding, Yanhua Li, Ke Deng, Haoyu Tan, Mingxuan Yuan, Lionel M. Ni
2017	J	`jnl`	Embedding differential privacy in decision tree algorithm with different depths. Sci. China Inf. Sci. Xuanyu Bai, Jianguo Yao, Mingxuan Yuan, Ke Deng, Xike Xie, Haibing Guan
2017	B	`conf`	Experimental Study of Telco Localization Methods. MDM Yukun Huang, Weixiong Rao, Fangzhou Zhu, Ning Liu, Mingxuan Yuan, Jia Zeng, Hua Yang
2017	A*	`conf`	Mining Business Opportunities from Location-based Social Networks. SIGIR Shenglin Zhao, Irwin King, Michael R. Lyu, Jia Zeng, Mingxuan Yuan
2017	J	`jnl`	Personalized user engagement modeling for mobile videos. Comput. Networks Lin Yang, Mingxuan Yuan, Yanjiao Chen, Wei Wang, Qian Zhang, Jia Zeng
2017	Misc	`conf`	Searching k-Nearest Neighbor Trajectories on Road Networks. ADC Pengcheng Yuan, Qinpei Zhao, Weixiong Rao, Mingxuan Yuan, Jia Zeng
2017	B	`conf`	Topic Model-Based Road Network Inference from Massive Trajectories. MDM Renjie Zheng, Qin Liu, Weixiong Rao, Mingxuan Yuan, Jia Zeng, Zhongxiao Jin
2017	—	`conf`	Traffic Prediction Based Power Saving in Cellular Networks: A Machine Learning Method. SIGSPATIAL/GIS Sheng Zhang, Shenglin Zhao, Mingxuan Yuan, Jia Zeng, Jianguo Yao, Michael R. Lyu, Irwin King
2016	A*	`conf`	Apps on the move: A fine-grained analysis of usage behavior of mobile apps. INFOCOM Lin Yang, Mingxuan Yuan, Wei Wang, Qian Zhang, Jia Zeng
2016	A	`conf`	City-Scale Localization with Telco Big Data. CIKM Fangzhou Zhu, Chen Luo, Mingxuan Yuan, Yijian Zhu, Zhengqing Zhang, Tao Gu, Ke Deng, Weixiong Rao, Jia Zeng
2016	J	`jnl`	Enabling Scalable Geographic Service Sharing with Weighted Imprecise Voronoi Cells. IEEE Trans. Knowl. Data Eng. Xike Xie, Peiquan Jin, Man Lung Yiu, Jiang Du, Mingxuan Yuan, Christian S. Jensen
2016	A*	`conf`	Enabling scalable geographic service sharing with weighted imprecise Voronoi cells. ICDE Xike Xie, Peiquan Jin, Man Lung Yiu, Jiang Du, Christian S. Jensen, Mingxuan Yuan
2016	J	`jnl`	Exploring cell tower data dumps for supervised learning-based point-of-interest prediction (industrial paper). GeoInformatica Ran Wang, Chi-Yin Chow, Yan Lyu, Victor C. S. Lee, Sarana Nutanong, Yanhua Li, Mingxuan Yuan
2016	A	`conf`	LDA Revisited: Entropy, Prior and Convergence. CIKM Jianwei Zhang, Jia Zeng, Mingxuan Yuan, Weixiong Rao, Jianfeng Yan
2016	J	`jnl`	TelCoVis: Visual Exploration of Co-occurrence in Urban Human Mobility Based on Telco Data. IEEE Trans. Vis. Comput. Graph. Wenchao Wu, Jiayi Xu, Haipeng Zeng, Yixian Zheng, Huamin Qu, Bing Ni, Mingxuan Yuan, Lionel M. Ni
2016	J	`jnl`	Telco User Activity Level Prediction with Massive Mobile Broadband Data. ACM Trans. Intell. Syst. Technol. Chen Luo, Jia Zeng, Mingxuan Yuan, Wenyuan Dai, Qiang Yang
2016	—	`conf`	TelcoFlow: Visual exploration of collective behaviors based on telco data. IEEE BigData Yixian Zheng, Wenchao Wu, Haipeng Zeng, Nan Cao, Huamin Qu, Mingxuan Yuan, Jia Zeng, Lionel M. Ni
2016	Misc	`conf`	Toward accurate energy-efficient cellular network: switching off excessive carriers based on traffic profiling. SAC Bin Cao, Jing Fan, Mingxuan Yuan, Yanhua Li
2015	J	`jnl`	Differential Privacy in Telco Big Data Platform. Proc. VLDB Endow. Xueyang Hu, Mingxuan Yuan, Jianguo Yao, Yu Deng, Lei Chen, Qiang Yang, Haibing Guan, Jia Zeng
2015	J	`jnl`	Discover the Misinformation Broadcasting in On-Line Social Networks. J. Inf. Sci. Eng. Peiguang Lin, Lei Chen, Mingxuan Yuan, Peiyao Nie
2015	A*	`conf`	Dissecting Regional Weather-Traffic Sensitivity Throughout a City. ICDM Ye Ding, Yanhua Li, Ke Deng, Haoyu Tan, Mingxuan Yuan, Lionel M. Ni
2015	—	`conf`	Mining target users for online marketing based on App Store data. IEEE BigData Xiuqiang He, Wenyuan Dai, Guoxiang Cao, Ruiming Tang, Mingxuan Yuan, Qiang Yang
2015	J	`jnl`	Privacy preserving graph publication in a distributed environment. World Wide Web Mingxuan Yuan, Lei Chen, Philip S. Yu, Hong Mei
2015	A	`conf`	Sampling Big Trajectory Data. CIKM Yanhua Li, Chi-Yin Chow, Ke Deng, Mingxuan Yuan, Jia Zeng, Jia-Dong Zhang, Qiang Yang, Zhi-Li Zhang
2015	—	`conf`	Telco Churn Prediction with Big Data. SIGMOD Conference Yiqing Huang, Fangzhou Zhu, Mingxuan Yuan, Ke Deng, Yanhua Li, Bing Ni, Wenyuan Dai, Qiang Yang, Jia Zeng
2014	—	`conf`	Exploring cell tower data dumps for supervised learning-based point-of-interest prediction. SIGSPATIAL/GIS Ran Wang, Chi-Yin Chow, Sarana Nutanong, Yan Lyu, Yanhua Li, Mingxuan Yuan, Victor C. S. Lee
2014	—	`conf`	OceanRT: real-time analytics over large temporal data. SIGMOD Conference Shiming Zhang, Yin Yang, Wei Fan, Liang Lan, Mingxuan Yuan
2014	J	`jnl`	OceanST: A Distributed Analytic System for Large-Scale Spatiotemporal Mobile Broadband Data. Proc. VLDB Endow. Mingxuan Yuan, Ke Deng, Jia Zeng, Yanhua Li, Bing Ni, Xiuqiang He, Fei Wang, Wenyuan Dai, Qiang Yang
2014	B	`conf`	Preserving Location-Related Privacy Collaboratively in Geo-social Networks. COMPSAC Lin Zhang, Mingxuan Yuan, Yao Guo, Xiangqun Chen, Lei Chen
2014	—	`ch.`	Privacy and Ethical Issues in Social Network Analysis. Social Networks: Analysis and Case Studies Lei Chen, Mingxuan Yuan
2014	J	`jnl`	Protect You More Than Blank: Anti-Learning Sensitive User Information in the Social Networks. J. Comput. Sci. Technol. Mingxuan Yuan, Lei Chen, Philip S. Yu, Hong Mei
2013	J	`jnl`	Graph publication when the protection algorithm is available. Data Knowl. Eng. Mingxuan Yuan, Lei Chen, Hong Mei
2013	C	`conf`	Privacy Preserving Graph Publication in a Distributed Environment. APWeb Mingxuan Yuan, Lei Chen, Philip S. Yu, Hong Mei
2013	J	`jnl`	Protecting Sensitive Labels in Social Network Data Anonymization. IEEE Trans. Knowl. Data Eng. Mingxuan Yuan, Lei Chen, Philip S. Yu, Ting Yu
2013	—	`conf`	Subscription Privacy Protection in Topic-Based Pub/Sub. DASFAA (1) Weixiong Rao, Lei Chen, Mingxuan Yuan, Sasu Tarkoma, Hong Mei
2012	A*	`conf`	A General Framework for Publishing Privacy Protected and Utility Preserved Graph. ICDM Mingxuan Yuan, Lei Chen, Weixiong Rao, Hong Mei
2012	—	`conf`	Semi-Edge Anonymity: Graph Publication when the Protection Algorithm Is Available. DASFAA (1) Mingxuan Yuan, Lei Chen
2011	J	`jnl`	Materialization and Decomposition of Dataspaces for Efficient Search. IEEE Trans. Knowl. Data Eng. Shaoxu Song, Lei Chen, Mingxuan Yuan
2011	—	`conf`	Node Protection in Weighted Social Networks. DASFAA (1) Mingxuan Yuan, Lei Chen
2010	J	`jnl`	Hardware/software partitioning and pipelined scheduling on runtime reconfigurable FPGAs. ACM Trans. Design Autom. Electr. Syst. Mingxuan Yuan, Zonghua Gu, Xiuqiang He, Xue Liu, Lei Jiang
2010	J	`jnl`	Personalized Privacy Protection in Social Networks. Proc. VLDB Endow. Mingxuan Yuan, Lei Chen, Philip S. Yu
2009	Misc	`conf`	An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking. CODES+ISSS Weichen Liu, Zonghua Gu, Jiang Xu, Yu Wang, Mingxuan Yuan
2008	J	`jnl`	A Hierarchical Framework for Design Space Exploration and Optimization of TTP-Based Distributed Embedded Systems. IEEE Trans. Ind. Informatics Xiuqiang He, Mingxuan Yuan, Zonghua Gu
2008	A	`conf`	Efficient SAT-Based Mapping and Scheduling of Homogeneous Synchronous Dataflow Graphs for Throughput Optimization. RTSS Weichen Liu, Mingxuan Yuan, Xiuqiang He, Zonghua Gu, Xue Liu
2008	A	`conf`	Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver. IEEE Real-Time and Embedded Technology and Applications Symposium Mingxuan Yuan, Xiuqiang He, Zonghua Gu
2008	Misc	`conf`	Online adaptive utilization control for real-time embedded multiprocessor systems. CODES+ISSS Jianguo Yao, Xue Liu, Mingxuan Yuan, Zonghua Gu
2007	A	`conf`	Optimal Static Task Scheduling on Reconfigurable Hardware Devices Using Model-Checking. IEEE Real-Time and Embedded Technology and Applications Symposium Zonghua Gu, Mingxuan Yuan, Xiuqiang He
2007	A*	`conf`	Optimization of Static Task and Bus Access Schedules for Time-Triggered Distributed Embedded Systems with Model-Checking. DAC Zonghua Gu, Xiuqiang He, Mingxuan Yuan
2007	A	`conf`	Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. RTSS Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu
2005	—	`conf`	Dynamic privacy management: a plug-in service for the middleware in pervasive computing. Mobile HCI Dan Hong, Mingxuan Yuan, Vincent Y. Shen