Assistant Professor @ Shanghai Jiao Tong University (SJTU) |
For prospective students: We are looking for self-motivated PhD, Master and Undergraduate students who have a strong interest in Learning to Optimize and Large Language Model for Optimization/Reasoning. If you want to work with me, please feel free to drop me an email lixijun@sjtu.edu.cn along with your CV to arrange an appointment.
For research collaborators: I welcome students and researchers to initiate academic collaborations with me. You can schedule a discussion meeting with me through calendar tool.
[09-30-2024] I have concluded my period at Huawei Noah's Ark Lab. It was an exceptional chapter in my career. In October, I shall commence my role as an Assistant Professor at the School of Software, Shanghai Jiao Tong University.
[09-26-2024] The paper “MILP-StuDio: MILP Instance Generation via Block Structure Decomposition” is accepted to NeurIPS 2024. Congratulations to Haoyang and all co-authors.
[05-03-2024] The paper “Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming” is accepted to IEEE TPAMI. Congratulations to Zhihai and all co-authors.
[05-03-2024] Two papers are accepted by ICML 2024. The camera-ready version will be released soon!
[03-19-2024] The paper “Answering the Call to ARMs with PACER: Power-Efficiency in Storage Servers” is accepted by MSST 2024!
[03-10-2024] The paper “Joint Directory, File and IO Trace Feature Extraction and Feature-based Trace Regeneration for Enterprise Storage Systems” is accepted by ICDE 2024. Congrats to Kecheng!
[02-29-2024] I successfully defended my doctoral thesis [pic]!
[01-16-2024] Two papers are accepted by ICLR 2024. The camera-ready version will be released soon!
[01-12-2024] We released a position paper “Machine Learning Insides OptVerse AI Solver: Design Principles and Applications”. Please stay tuned with OptVerse AI Solver!
Currently, Xijun is an assistant professor in Shanghai Jiao Tong University and a faculty member of the Shanghai Key Labraotry of Scalable Computing and Systems. Previously, he has served as a princinpal researcher in Huawei Noah’s Ark Lab between 2018 and 2024. He has received his Ph.D. degree from the University of Science and Technology of China in March 2024 (HUAWEI-USTC Joint Ph.D. Program) under the supervision of Prof. Jie Wang and received the master degree under the supervision of Prof. Jianguo Yao from Shanghai Jiao Tong University in 2018. He has published many papers on top peer-reviewed conferences and journals (such as TPAMI, NeurIPS, ICLR, ICML, KDD, ICDE, SIGMOD, DAC, etc.) and applied/published a series of patents with Huawei Noah's Ark Lab. He has also won the championship of student learderboard in Dual Track of NeurIPS’21 ML4CO Competition. His recent research interests focus on Learning to Optimization (L2O) and Large Language Model for Optimization/Reasoning. Last but not least, he is one of core developers of the Huawei Cloud OptVerse AI Solver and Huawei Pangu Large Language Models.
Learning to Optimize
Large Language Model for Optimization/Reasoning
Data Synthesis for Large Language Model
Mathematical Programming Solver
Neural Combinatorial Optimization
Machine Learning for Computer System
Reinforcement Learning
Operational Research
Meta-Heuristic Algorithms
Applications in Logistics, Supply Chain, Storage Systems, etc.
Haoyang Liu, Jie Wang, Wanbo Zhang, Zijie Geng, Yufei Kuang, Xijun Li, Bin Li, Yongdong Zhang, Feng Wu: MILP-StuDio: MILP Instance Generation via Block Structure Decomposition. NeurIPS 2024 [pdf]
Jie Wang, Zhihai Wang, Xijun Li, Yufei Kuang, Zhihao Shi, Fangzhou Zhu, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu: Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming. IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI) [pdf]
Zhihai Wang, Lei Chen, Jie Wang, Yinqi Bai, Xing Li, Xijun Li, Mingxuan Yuan, Jianye HAO, Yongdong Zhang, Feng Wu: A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design. ICML 2024 [pdf]
Yufei Kuang, Jie Wang, Yuyan Zhou, Xijun Li, Fangzhou Zhu, Jianye HAO, Feng Wu: Towards General Algorithm Discovery for Combinatorial Optimization: Learning Symbolic Branching Policy from Bipartite Graph. ICML 2024 [pdf]
Hankun Cao, Shai Bergman, Si Sun, Yanbo Albert Zhou, Xijun Li, Jun Gao, Zhuo Cheng, Ji Zhang: Answering the Call to ARMs with PACER: Power-Efficiency in Storage Servers. MSST 2024 [pdf]
Kecheng Huang, Xijun Li, Mingxuan Yuan, Ji Zhang, Zili Shao: Joint Directory, File and IO Trace Feature Extraction and Feature-based Trace Regeneration for Enterprise Storage Systems. ICDE 2024 [pdf]
Yufei Kuang, Jie Wang, Haoyang Liu, Fangzhou Zhu, Xijun Li, Jia Zeng, Jianye HAO, Bin Li, Feng Wu: Rethinking Branching on Exact Combinatorial Optimization Solver: The First Deep Symbolic Discovery Framework. ICLR 2024 [pdf]
Chang Liu, Zhichen Dong, Haobo Ma, Weilin Luo, Xijun Li, Bowen Pang, Jia Zeng, Junchi Yan: L2P-MIP: Learning to Presolve for Mixed Integer Programming. ICLR 2024 [pdf]
Zijie Geng, Xijun Li, Jie Wang, Xiao Li, Yongdong Zhang, Feng Wu: A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability. NeurIPS 2023 (Spotlight) [page] [pdf] [code]
Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan: HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline. KDD 2023 [pdf] [code]
Xijun Li, Qingyu Qu, Fangzhou Zhu, Jia Zeng, Mingxuan Yuan, Jie Wang: Accelerating Linear Programming Solving by Exploiting the Performance Variability via Reinforcement Learning. AAAI 2023 workshop on AI to Accelerate Science and Engineering [pdf] [poster] [slides] [video]
Xijun Li*, Zhihai Wang*, Jie Wang, Yufei Kuang, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu: Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model. ICLR 2023 [pdf] [slides] [code (MindSpore)] [code (PyTorch)] [media]
Han Lu, Zenan Li, Runzhong Wang, Qibing Ren, Xijun Li, Mingxuan Yuan, Jia Zeng, Xiaokang Yang, Junchi Yan: ROCO: A General Framework for Evaluating Robustness of Combinatorial Optimization Solvers on Graphs. ICLR 2023 [pdf] [code]
Hongduo Liu, Peiyu Liao, Mengchuan Zou, Bowen Pang, Xijun Li, Mingxuan Yuan, Tsung-Yi Ho, Bei Yu: Layout Decomposition via Boolean Satisfiability. DAC 2023 [pdf] [slides]
Yiyuan Yang, Rongshang Li, Qiquan Shi, Xijun Li, Gang Hu, Xing Li, Mingxuan Yaun: SGDP: A Stream-Graph Neural Network Based Data Prefetcher. IJCNN 2023 [pdf] [code]
Wenxuan Guo, Hui-Ling Zhen, Xijun Li#, Mingxuan Yuan, Yaohui Jin, Junchi Yan: Machine Learning Methods in Solving the Boolean Satisfiability Problem. Machine Intelligence Research Journal [pdf]
Jiayi Zhang, Chang Liu, Xijun Li#, Hui-Ling Zhen, Junchi Yan, Mingxuan Yuan: A Survey for Solving Mixed Integer Programming via Machine Learning. Neurocomputing Journal [pdf]
Qingyu Qu, Kexin Liu, Xijun Li, Yunfan Zhou, Jinhu Lv: Satellite Observation and Data-Transmission Scheduling using Imitation Learning based on Mixed Integer Linear Programming. IEEE Transactions on Aerospace and Electronic Systems, TAES [pdf]
Ji Zhang, Xijun Li#, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li: L-QoCo: learning to optimize cache capacity overloading in storage systems. DAC 2022: 379-384 (CORE A, CCF A) [pdf]
Xijun Li*#, Yunfan Zhou*, Jinhong Luo, Mingxuan Yuan, Jia Zeng, Jianguo Yao: Learning to Optimize DAG Scheduling in Heterogeneous Environment. MDM 2022: 137-146 (CORE A, CCF C) [pdf] [video] [slides]
Qingyu Qu, Xijun Li#, Yunfan Zhou; Yordle: An Efficient Imitation Learning for Branch and Bound. NeurIPS 2021 ML4CO Competition [pdf]
Xijun Li, Weilin Luo, Mingxuan Yuan, Jun Wang, Jiawen Lu, Jie Wang, Jinhu Lü, Jia Zeng: Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems. ICDE 2021: 2511-2522 (CORE A, CCF A) [pdf] [slides]
Yingtian Tang, Han Lu, Xijun Li#, Lei Chen, Mingxuan Yuan, Jia Zeng: Learning-Aided Heuristics Design for Storage System. SIGMOD 2021: 2597-2601 (CORE A*, CCF A) [pdf] [video]
Zhenkun Wang, Hui-Ling Zhen, Jingda Deng, Qingfu Zhang, Xijun Li, Mingxuan Yuan, Jia Zeng: Multiobjective Optimization-Aided Decision-Making System for Large-Scale Manufacturing Planning. IEEE Transactions on Cybernetics 52(8): 8326-8339 (2022) (CORE A, CCF B) [pdf]
Hui-Ling Zhen, Zhenkun Wang, Xijun Li, Qingfu Zhang, Mingxuan Yuan, Jia Zeng; Accelerate the optimization of large-scale manufacturing planning using game theory. Complex & Intelligent Systems; 1-12 [pdf]
Xijun Li, Mingxuan Yuan, Di Chen, Jianguo Yao, Jia Zeng: A Data-Driven Three-Layer Algorithm for Split Delivery Vehicle Routing Problem with 3D Container Loading Constraint. KDD 2018: 528-536 (CORE A*, CCF A) [pdf] [video] [media]
Xijun Li, Jianguo Yao, Mingxuan Yuan, Jia Zeng: A Two-Layer Algorithmic Framework for Service Provider Configuration and Planning with Optimal Spatial Matching. CIKM 2018: 2273-2281 (CORE A, CCF B) [pdf]
Xijun Li, Jianguo Yao, Xue Liu, Haibing Guan: A First Look at Information Entropy-Based Data Pricing. ICDCS 2017: 2053-2060 (CORE A, CCF B) [pdf]
李希君, 上海, 上海交通大学: 基于信息熵的数据交易定价研究 [master thesis]
Machine Learning Insides OptVerse AI Solver: Design Principles and Applications [page]
AI助力求解性能持续全面突破,诺亚方舟助力天筹求解器登顶5项权威榜单 [page]
Xijun Li, Qingyu Qu, Fangzhou Zhu, Jia Zeng, Mingxuan Yuan, Kun Mao, Jie Wang: Learning to Reformulate for Linear Programming. [arxiv]
Xijun Li*, Yunfan Zhou*, Ji Zhang: PASCAL - A Learning-aided Cooperative Bandwidth Control Policy for Hierarchical Storage Systems. [arxiv]
Jie Wang, Zijie Geng, Xijun Li, Jianye Hao, Yongdong Zhang, Feng Wu: G2MILP: Learning to Generate Mixed-Integer Linear Programming Instances for MILP Solvers [techrxiv]
Yufei Kuang, Xijun Li*, Jie Wang, Fangzhou Zhu, Meng Lu, Zhihai Wang, Jia Zeng, Houqiang Li, Yongdong Zhang, Feng Wu: Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning. [arxiv]
Yunfan Zhou*, Xijun Li*#, Qingyu Qu: Offline Reinforcement Learning with Adaptive Behavior Regularization. [arxiv]
Qingyu Qu, Xijun Li*, Yunfan Zhou, Jia Zeng, Mingxuan Yuan, Jie Wang, Jinhu Lv, Kexin Liu, Kun Mao: An Improved Reinforcement Learning Algorithm for Learning to Branch. [arxiv]
Zhihai Wang, Lei Chen, Jie Wang, Xing Li, Yinqi Bai, Xijun Li, Mingxuan Yuan, Jianye Hao, Yongdong Zhang, Feng Wu: A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design [arxiv]
Haoyang Liu, Yufei Kuang, Jie Wang, Xijun Li, Yongdong Zhang, Feng Wu: Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation. [arxiv]
Wenxuan Guo, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Yaohui Jin, Junchi Yan: Machine Learning Methods in Solving the Boolean Satisfiability Problem. [arxiv]
Jiayi Zhang, Chang Liu, Xijun Li, Hui-Ling Zhen, Junchi Yan, Mingxuan Yuan: A Survey for Solving Mixed Integer Programming via Machine Learning. [arxiv]
Jianye Hao, Jiawen Lu, Xijun Li, Xialiang Tong, Xiang Xiang, Mingxuan Yuan, Hankz Hankui Zhuo: Introduction to The Dynamic Pickup and Delivery Problem Benchmark–ICAPS 2021 Competition. [arxiv]
Xinyan Chen, Wenxuan Guo, Yang Li, Wanqian Luo, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Junchi Yan: Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions [pdf] [link] where ‘*’ indicates the equal contribution and ‘#’ stands for corresponding author.
CN116661676A 一种带宽控制方法、数据处理系统及相关设备:李希君,周云帆,李文思,张霁,袁明轩
CN111738409A 一种资源调度的方法及其相关设备:李希君,罗威林,陆佳文,袁明轩
CN116468099A 一种模型结构的优化方法及装置:李希君,朱方舟,甄慧玲,付小津,陆梦,曾嘉,袁明轩
CN115496247A 一种业务数据的处理方法以及装置:李希君,郝晓田,袁明轩,郝建业,曾嘉
CN117370715A 基于云计算技术的目标函数求解方法、装置和计算设备:李希君,李建树,王治海,曾嘉
92041897CN02 一种数学规划实例生成的方法、系统和电子设备:李希君,安志武,朱方舟,耿子介,王杰
CN117371674A 目标规划问题的求解方法、选择节点的方法及装置:李希君,杨沐明,匡宇飞,曾嘉
CN116933908A 一种计算机任务处理方法及其相关设备:陆梦,甄慧玲,李希君,朱方舟,袁明轩,曾嘉
CN111915060A 组合优化任务的处理方法以及处理装置: 甄慧玲,王振坤,李希君,张青富,袁明轩
CN114237835A 一种任务求解方法及其装置:朱方舟,罗万千,甄慧玲,李希君,袁明轩,曾嘉
CN112818280B 一种信息处理方法以及相关设备:甄慧玲,王振坤,张青富,李希君,韩雄威
CN114117715A 多目标任务优化的方法与装置:王振坤,甄慧玲,李希君,张青富,袁明轩
CN116050522A 预求解配置方法及装置:罗威林,庞博文,李希君,刘畅,严骏驰,曾嘉
CN116483633A 一种数据增广方法及相关装置:黄俊华,罗万千,李希君,甄慧玲,郦洋,严骏驰
3rd Place, Parallel Track, SAT Competition 2023 [result] [solution]
1st Place, Student Learderboard in Dual Track, NeurIPS 2021 ML4CO Competition [result] [media] [solution]
Meritorious Award, Mathematical Contest in Modeling (MCM) 2014, Consortium for Mathematics and Its Applications [cerification]
“天筹AI求解器及运筹优化落地实践” on AI4OR workshop at National Univesrity of Defense Technology
“Order matters: Boosting Mathematical Programming Solver via Machine Learning Techniques” at the MOS2023 中国运筹学会 [slides (updated)]
“Order matters: Boosting Mathematical Programming Solver via Machine Learning Techniques” at the CUHKSZ 香港中文大学 (深圳) and SRIBD 深圳大数据研究院 [slides] [video]
“Frontier of Learning to Optimization” at the CUHKSZ-HUAWEI Computing Mathematic Forum 港中深-华为计算数学论坛 and MIRA Lab Seminar of USTC 中国科学技术大学 MIRA Lab 学术讲座 [slides]
Assistant Professor, Shanghai Jiao Tong University, Oct 2024 - present
Principal Researcher, Huawei Noah's Ark Lab, Mar 2024 – Sept 2024
Senior Research Engineer A, Huawei Noah's Ark Lab, Mar 2022 – Feb 2024
Senior Research Engineer B, Huawei Noah's Ark Lab, Dec 2019 – Feb 2022
Research Engineer, Huawei Noah's Ark Lab, Apr 2018 – Nov 2019
Research Intern, Huawei Noah's Ark Lab, Aug 2017 – Mar 2018
Ph.D., Electronic Engineering and Information Science, University of Science and Technology of China, 2019 Sep. - 2024 Mar.
M.Eng., Computer Software Engineering, Shanghai Jiao Tong University, 2015-2018
B.Sc., Applied Mathematics, South China University of Technology, 2011-2015
Battlefield Heroes Award (战地英雄奖), Oct 2024, 2012 Labs, Huawei Technologies [cerification]
Siye Special Research Award for Pangu LLM (四野特别攻关奖), Sept 2024, 2012 Labs, Huawei Technologies [cerification]
Presidential Individual Award (总裁个人奖), Jan 2023, 2012 Labs, Huawei Technologies [cerification]
Presidential Individual Award (总裁个人奖), Jan 2023, Supply Chain Department, Huawei Technologies [cerification]
Battlefield Heroes Award (战地英雄奖), Nov 2022, 2012 Labs, Huawei Technologies [cerification]
Quality Star Award (质量之星奖), Dec 2021, 2012 Labs, Huawei Technologies [cerification]
Gold Medal Team Award (金牌团队奖), Dec 2020, 2012 Labs, Huawei Technologies [cerification1] [cerification2]
Innovation Pioneer Award (创新先锋奖), Dec 2020, 2012 Labs, Huawei Technologies [cerification]
Excellent New Employee (优秀新员工), Dec 2018, 2012 Labs, Huawei Technologies [cerification]
Outstanding Graduate, Jun 2018, Shanghai Jiao Tong University [cerification]
National Scholarship (国家奖学金 / top 5% out of all students), Sep 2017, Chinese Ministry of Education [cerification]
National Scholarship (国家奖学金 / top 5% out of all students), Sep 2014, Chinese Ministry of Education [cerification]
Skyworth Enterprise Scholarship (创维企业奖学金 / top 5%), First Prize, Jun 2015, Skyworth Enterprise [cerification]
Mathematical Contest in Modeling (MCM), Meritorious Award, Mar 2014, Consortium for Mathematics and Its Applications [cerification]
The Thirteenth International Conference on Learning Representations (ICLR) 2025
The AAAI 2024 Workshop on Artificial Intelligence for Operations Research
The ACM Web Conference 2024 (formerly known as International World Wide Web Conference, abbreviated as WWW)
The Twelfth International Conference on Learning Representations (ICLR) 2024
The AAAI Conference on Artificial Intelligence (AAAI) 2024
The Thirty-seventh Conference on Neural Information Processing Systems (NeurIPS) 2023
The International Conference on Data Engineering (ICDE) 2023
The ACM Web Conference 2023 (formerly known as International World Wide Web Conference, abbreviated as WWW)
The AAAI Conference on Artificial Intelligence (AAAI) 2023
The International Conference on Data Engineering (ICDE) 2022
The IEEE International Conference on Mobile Data Management (MDM) 2021, Industry Track
The AAAI Conference on Artificial Intelligence (AAAI) 2021
The IEEE International Conference on Mobile Data Management (MDM) 2021
The AAAI Conference on Artificial Intelligence (AAAI) 2020
The ACM International Conference on Information and Knowledge Management (CIKM) 2020
The IEEE Transactions on Knowledge and Data Engineering
The IEEE Transactions on Emerging Topics in Computational Intelligence
Transportation Research Part E
Dr. Weilin Luo (PhD graduated from Beihang University)
Yunfan Zhou (Msc student @ Chinese University of Hong Kong (Shenzhen), graduated from Peking University, Excellent Intern of Huawei Noah's Ark Lab of 2022H2) [cerification]
Qingyu Qu (PhD student @ Beihang University, Excellent Intern of Huawei Noah's Ark Lab of 2021H2) [cerification]
Xiaotian Hao (PhD student @ Tianjin University, Excellent Intern of Huawei Noah's Ark Lab of 2022H1) [cerification]
Yufei Kuang (PhD student @ University of Science and Technology of China, Excellent Intern of Huawei Noah's Ark Lab of 2023H1) [cerification]
Zhihai Wang (PhD student @ University of Science and Technology of China)
Yiyuan Yang (PhD student @ University of Oxford, graduated from Tsinghua University)
Kecheng Huang (PhD student @ Chinese University of Hong Kong, graduated from Shandong University)
Yingtian Tang (Msc student @ University of Pennsylvania, graduated from UESTC)
Zijie Geng (MPhil student @ University of Science and Technology of China)
Jinghao Wang (Undergraduate student @ Shanghai Jiao Tong University)
Jiexiang Yang (Undergraduate student @ Shanghai Jiao Tong University)