Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox
Picture for Mingxuan Yuan

Mingxuan Yuan

SATformer: Transformers for SAT Solving


Sep 02, 2022
Zhengyuan Shi, Min Li, Sadaf Khan, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu

Figure 1 for SATformer: Transformers for SAT Solving
Figure 2 for SATformer: Transformers for SAT Solving
Figure 3 for SATformer: Transformers for SAT Solving
Figure 4 for SATformer: Transformers for SAT Solving

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning


Jul 26, 2022
Zeren Huang, Wenhao Chen, Weinan Zhang, Chuhan Shi, Furui Liu, Hui-Ling Zhen, Mingxuan Yuan, Jianye Hao, Yong Yu, Jun Wang

Figure 1 for Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning
Figure 2 for Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning
Figure 3 for Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning
Figure 4 for Branch Ranking for Efficient Mixed-Integer Programming via Offline Ranking-based Policy Learning

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems


Mar 21, 2022
Ji Zhang, Xijun Li, Xiyao Zhou, Mingxuan Yuan, Zhuo Cheng, Keji Huang, Yifan Li

Figure 1 for LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems
Figure 2 for LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems
Figure 3 for LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems
Figure 4 for LQoCo: Learning to Optimize Cache Capacity Overloading in Storage Systems
* This paper has been accepted by DAC 2022. Xijun is the correspoonding author 
   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Survey for Solving Mixed Integer Programming via Machine Learning


Mar 06, 2022
Jiayi Zhang, Chang Liu, Junchi Yan, Xijun Li, Hui-Ling Zhen, Mingxuan Yuan

Figure 1 for A Survey for Solving Mixed Integer Programming via Machine Learning
Figure 2 for A Survey for Solving Mixed Integer Programming via Machine Learning
Figure 3 for A Survey for Solving Mixed Integer Programming via Machine Learning
Figure 4 for A Survey for Solving Mixed Integer Programming via Machine Learning

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Machine Learning Methods in Solving the Boolean Satisfiability Problem


Mar 02, 2022
Wenxuan Guo, Junchi Yan, Hui-Ling Zhen, Xijun Li, Mingxuan Yuan, Yaohui Jin

Figure 1 for Machine Learning Methods in Solving the Boolean Satisfiability Problem
Figure 2 for Machine Learning Methods in Solving the Boolean Satisfiability Problem
Figure 3 for Machine Learning Methods in Solving the Boolean Satisfiability Problem
Figure 4 for Machine Learning Methods in Solving the Boolean Satisfiability Problem

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

A Data-Driven Column Generation Algorithm For Bin Packing Problem in Manufacturing Industry


Feb 25, 2022
Jiahui Duan, Xialiang Tong, Fei Ni, Zhenan He, Lei Chen, Mingxuan Yuan

Figure 1 for A Data-Driven Column Generation Algorithm For Bin Packing Problem in Manufacturing Industry
Figure 2 for A Data-Driven Column Generation Algorithm For Bin Packing Problem in Manufacturing Industry
Figure 3 for A Data-Driven Column Generation Algorithm For Bin Packing Problem in Manufacturing Industry
Figure 4 for A Data-Driven Column Generation Algorithm For Bin Packing Problem in Manufacturing Industry

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Introduction to The Dynamic Pickup and Delivery Problem Benchmark -- ICAPS 2021 Competition


Jan 19, 2022
Jianye Hao, Jiawen Lu, Xijun Li, Xialiang Tong, Xiang Xiang, Mingxuan Yuan, Hankz Hankui Zhuo


   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Learning to Reformulate for Linear Programming


Jan 17, 2022
Xijun Li, Qingyu Qu, Fangzhou Zhu, Jia Zeng, Mingxuan Yuan, Kun Mao, Jie Wang

Figure 1 for Learning to Reformulate for Linear Programming
Figure 2 for Learning to Reformulate for Linear Programming
Figure 3 for Learning to Reformulate for Linear Programming
Figure 4 for Learning to Reformulate for Linear Programming

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

An Improved Reinforcement Learning Algorithm for Learning to Branch


Jan 17, 2022
Qingyu Qu, Xijun Li, Yunfan Zhou, Jia Zeng, Mingxuan Yuan, Jie Wang, Jinhu Lv, Kexin Liu, Kun Mao


   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Learning-Aided Heuristics Design for Storage System


Jun 14, 2021
Yingtian Tang, Han Lu, Xijun Li, Lei Chen, Mingxuan Yuan, Jia Zeng

Figure 1 for Learning-Aided Heuristics Design for Storage System
Figure 2 for Learning-Aided Heuristics Design for Storage System
Figure 3 for Learning-Aided Heuristics Design for Storage System
Figure 4 for Learning-Aided Heuristics Design for Storage System

   Access Paper or Ask Questions
  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email
1
2
>>