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

Add to Chrome

Add to Firefox

Picture for Xijun Li

Xijun Li

HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

Feb 11, 2023
Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan

Figure 1 for HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

Figure 2 for HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

Figure 3 for HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

Figure 4 for HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline

* Not all authors allow to make it on arXiv at this moment

Access Paper or Ask Questions

Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model

Feb 01, 2023
Zhihai Wang, Xijun Li, Jie Wang, Yufei Kuang, Mingxuan Yuan, Jia Zeng, Yongdong Zhang, Feng Wu

Figure 1 for Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model

Figure 2 for Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model

Figure 3 for Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model

Figure 4 for Learning Cut Selection for Mixed-Integer Linear Programming via Hierarchical Sequence Model

* Accepted to ICLR2023

Access Paper or Ask Questions

Offline Reinforcement Learning with Adaptive Behavior Regularization

Nov 15, 2022
Yunfan Zhou, Xijun Li, Qingyu Qu

Figure 1 for Offline Reinforcement Learning with Adaptive Behavior Regularization

Figure 2 for Offline Reinforcement Learning with Adaptive Behavior Regularization

Figure 3 for Offline Reinforcement Learning with Adaptive Behavior Regularization

Figure 4 for Offline Reinforcement Learning with Adaptive Behavior Regularization

* Xijun Li is the corresponding author

Access Paper or Ask Questions

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

Yordle: An Efficient Imitation Learning for Branch and Bound

Feb 02, 2022
Qingyu Qu, Xijun Li, Yunfan Zhou

Figure 1 for Yordle: An Efficient Imitation Learning for Branch and Bound

Figure 2 for Yordle: An Efficient Imitation Learning for Branch and Bound

Figure 3 for Yordle: An Efficient Imitation Learning for Branch and Bound

Figure 4 for Yordle: An Efficient Imitation Learning for Branch and Bound

* arXiv admin note: text overlap with arXiv:2201.06213

Access Paper or Ask Questions