Implement BaBSR Branching Heuristic as a new Branching Strategy#851

Open

liamjdavis wants to merge 24 commits intoNeuralNetworkVerification:masterfrom liamjdavis:liamjdavis/BaBSR-heuristic

+674-5

Commits on Sep 20, 2024

Commits on Sep 24, 2024

Commits on Oct 5, 2024

built BaBSR Heuristic as ReLU splitting strategy
liamjdavis
committed

Commits on Oct 8, 2024

Merge branch 'NeuralNetworkVerification:master' into liamjdavis/BaBSR-heuristic
liamjdavis
authored

Commits on Oct 18, 2024

wrote unit test for ReluConstraint computeBaBsr method
liamjdavis
committed
changed BaBsr logic to pass NLR instance through ReluConstraint instead of the other way around
liamjdavis
committed

Commits on Oct 21, 2024

integrated NLR into unit test
liamjdavis
committed

Commits on Oct 22, 2024

fixed getBiasForPreviousLayer in NLR, need to write updated unit test
liamjdavis
committed

Commits on Oct 27, 2024

Wrote unit tests in new test file Test_BaBsrSplitting.h for BaBSR ReLU Splitting
liamjdavis
committed

Commits on Oct 28, 2024

Commits on Oct 29, 2024

changed previous layer search to use Relu Constraint instead of activation
liamjdavis
committed

Commits on Oct 31, 2024

Adjusted BaBSR Branching Strategy to cache all Biases and add candidate threshold
liamjdavis
committed

Commits on Nov 12, 2024

added score normalization to babsr heuristic
liamjdavis
committed

Commits on Dec 3, 2024

Merge remote-tracking branch 'origin/master' into liamjdavis/BaBSR-heuristic
liamjdavis
committed

Commits on Dec 17, 2024

Added new feature to teh CHANGELOG.md
liamjdavis
committed

Commits on Jan 10, 2025

Commits on Jan 12, 2025

Commits on Jan 17, 2025

Removed BaBSR from SnC strategy parsing in Engine
liamjdavis
committed

Commits on Jan 22, 2025

Renamed option from 'babsr-heuristic' to 'babsr'
liamjdavis
committed