Picture for Xijun Li

Xijun Li

Learning to Cut via Hierarchical Sequence/Set Model for Efficient Mixed-Integer Programming

Apr 19, 2024
Viaarxiv icon

Machine Learning Insides OptVerse AI Solver: Design Principles and Applications

Jan 17, 2024
Viaarxiv icon

Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation

Add code
Oct 22, 2023
Figure 1 for Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation
Figure 2 for Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation
Figure 3 for Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation
Figure 4 for Promoting Generalization for Exact Solvers via Adversarial Instance Augmentation
Viaarxiv icon

Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning

Oct 18, 2023
Figure 1 for Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning
Figure 2 for Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning
Figure 3 for Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning
Figure 4 for Accelerate Presolve in Large-Scale Linear Programming via Reinforcement Learning
Viaarxiv icon

A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability

Oct 04, 2023
Figure 1 for A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability
Figure 2 for A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability
Figure 3 for A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability
Figure 4 for A Deep Instance Generative Framework for MILP Solvers Under Limited Data Availability
Viaarxiv icon

A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design

Add code
Aug 22, 2023
Figure 1 for A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design
Figure 2 for A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design
Figure 3 for A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design
Figure 4 for A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design
Viaarxiv icon

SGDP: A Stream-Graph Neural Network Based Data Prefetcher

Add code
Apr 07, 2023
Figure 1 for SGDP: A Stream-Graph Neural Network Based Data Prefetcher
Figure 2 for SGDP: A Stream-Graph Neural Network Based Data Prefetcher
Figure 3 for SGDP: A Stream-Graph Neural Network Based Data Prefetcher
Figure 4 for SGDP: A Stream-Graph Neural Network Based Data Prefetcher
Viaarxiv icon

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

Add code
Feb 11, 2023
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
Viaarxiv icon

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

Add code
Feb 01, 2023
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
Viaarxiv icon

Offline Reinforcement Learning with Adaptive Behavior Regularization

Add code
Nov 15, 2022
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
Viaarxiv icon