Pith. sign in

REVIEW 1 cited by

An Improved Reinforcement Learning Algorithm for Learning to Branch

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2201.06213 v1 pith:745EU2BB submitted 2022-01-17 cs.LG cs.AImath.OC

classification cs.LGcs.AImath.OC
keywords algorithmlearningperformanceimprovereinforcementbranchcombinatorialdata
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Most combinatorial optimization problems can be formulated as mixed integer linear programming (MILP), in which branch-and-bound (B\&B) is a general and widely used method. Recently, learning to branch has become a hot research topic in the intersection of machine learning and combinatorial optimization. In this paper, we propose a novel reinforcement learning-based B\&B algorithm. Similar to offline reinforcement learning, we initially train on the demonstration data to accelerate learning massively. With the improvement of the training effect, the agent starts to interact with the environment with its learned policy gradually. It is critical to improve the performance of the algorithm by determining the mixing ratio between demonstration and self-generated data. Thus, we propose a prioritized storage mechanism to control this ratio automatically. In order to improve the robustness of the training process, a superior network is additionally introduced based on Double DQN, which always serves as a Q-network with competitive performance. We evaluate the performance of the proposed algorithm over three public research benchmarks and compare it against strong baselines, including three classical heuristics and one state-of-the-art imitation learning-based branching algorithm. The results show that the proposed algorithm achieves the best performance among compared algorithms and possesses the potential to improve B\&B algorithm performance continuously.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification

    cs.LO 2025-12 conditional novelty 6.0 of 10

    A DQfD-trained ReLU-splitting policy modestly improves Marabou's average verification time on ACAS Xu, but not the number of iterations as claimed.

Pith tools