atlas

Research map / Reinforcement learning / Imitation learning

SORREL: Suboptimal-Demonstration-Guided Reinforcement Learning for Learning to Branch

AAAI 2025 · Reinforcement learning › Imitation learning · approach: Imitation combined with RL · 3 citations (OpenAlex)

Read the paperCheck your idea against 108,967 papers

AI-extracted summary. Written by AI from the paper's full text. Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.

SORREL learns MILP branching by combining offline RL on demonstrations from a suboptimal heuristic (VHB) with online PPO on a tree MDP plus self-imitation learning from a per-instance priority queue of good trajectories.

Problem

Learned branching heuristics for branch-and-bound in MILP solvers depend on high-quality demonstrations from near-optimal heuristics (e.g., full strong branching), which are costly or unavailable, while existing RL methods have poor sample efficiency.

Approach

A two-stage RL approach: offline RL with a behavior-cloning-regularized actor-critic on suboptimal demonstrations, then online PPO over a tree MDP with random-walk returns, augmented by self-imitation learning on the best past trajectories per instance stored in priority queues.

Key results

Measured effects reported in the paper

What was changedWhereMeasuredEffect
Use SORREL instead of the strongest baseline for solving timeBranching on standard test instances · SC, MIS, CFLsolving time: 2.05 -> 1.95; 4.72 -> 4.46; 29.28 -> 27.81Helped
Use SORREL instead of the strongest baseline for solving timeBranching on standard test instances · CA, MKsolving time: 3.60 -> 4.40; 0.64 -> 2.54Hurt
Use SORREL instead of the strongest neural baselineBranching on standard test instances · SC, MIS, CA, CFL, MKnumber of nodes: 37 -> 32; 72 -> 44; 367 -> 253; 263 -> 239; 159 -> 142Helped
Use SORREL instead of the strongest baseline for solving timeBranching on transfer test instances · SC, MIS, CFLsolving time: 13.00 -> 12.88; 91.35 -> 62.41; 108.3 -> 95.84Helped
Use SORREL instead of the strongest baseline for solving timeBranching on transfer test instances · CA, MKsolving time: 71.18 -> 366.49; 2.29 -> 8.98Hurt
Use SORREL instead of the strongest neural baselineBranching on transfer test instances · SC, MIS, CA, CFL, MKnumber of nodes: 509 -> 485; 2565 -> 1707; 22284 -> 14520; 378 -> 324; 480 -> 408Helped
Add online RL finetuning to offline SORREL pretraining (ablation)SORREL · SC, MIS, CA, CFL, MK standard testnumber of nodes: 33 -> 32; 47 -> 44; 261 -> 253; 241 -> 239; 234 -> 142Helped
Use offline SORREL training instead of GCNN-VHB imitation learning (ablation)SORREL-offline · SC, MIS, CA, CFL, MK standard testnumber of nodes: 37 -> 33; 93 -> 47; 582 -> 261; 263 -> 241; 458 -> 234Helped
Add self-imitation learning during online finetuning (ablation)SORREL · MIS and MKvalidation B&B tree sizeHelped
Increase the frequency of FSB in demonstration heuristic VHBGCNN-VHB and SORREL · MISbranching performanceHelped

Surprising findings

Limitations

Experimental setup

Datasets: Set Covering Maximal Independent Set Combinatorial Auction Capacitated Facility Location Multiple Knapsack

Benchmarks: Set Covering Maximal Independent Set Combinatorial Auction Capacitated Facility Location Multiple Knapsack

Metrics: solving time (1-shifted geometric mean) number of B&B nodes (10-shifted geometric mean)

Baselines: FSB RPB VHB TreeREINFORCE TreeDQN GCNN-VHB GCNN-FSB

Builds on: tree MDP TreeREINFORCE PPO self-imitation learning GCNN (Gasse et al. 2019)

Closest papers by meaning

Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.

Open scime draft

Get the next scime Dispatch and a monthly field update

Free. We send a confirmation link first; every email has a one-click unsubscribe. Privacy