Backward Analysis using Preimage Approximation#861

Open

ido-shm-uel wants to merge 80 commits intoNeuralNetworkVerification:masterfrom

ido-shm-uel:Preimage-Approximation

Commits on Oct 1, 2024

Commits on Oct 10, 2024

0-6-5: Current state of PreimageApproximation + cleanup + corrections.
ido-shm-uel
authored
0-6-6: New constants for PreimageApproximation (random seeds).
ido-shm-uel
authored
0-6-7: TEMPORARY CHANGE - use boost v1.85 for Differential Evolution algorithm (gradient-free optimization for PreimageApproximation).
ido-shm-uel
authored

Commits on Oct 14, 2024

Commits on Oct 24, 2024

Commits on Nov 6, 2024

0-6-14: Small Fix (same as 0-5---4).
ido-shm-uel
authored

Commits on Dec 5, 2024

Merge pull request #1 from NeuralNetworkVerification/master
ido-shm-uel
authored

Commits on Dec 12, 2024

Commits on Jan 16, 2025

Commits on Feb 3, 2025

Commits on Feb 5, 2025

Update GlobalConfiguration.cpp
ido-shm-uel
authored

Commits on Feb 6, 2025

Commits on Feb 15, 2025

smal fix for bug in SumOfInfeasibilitiesManager::proposePhasePatternUpdateRandomly() when the chosen plConstraintToUpdate is fixed
idan0610
committed

Commits on Feb 26, 2025

Vector<double> &coeffs passed by refrence, removed PolygonalTightening.
ido-shm-uel
committed

Commits on Feb 27, 2025

Commits on Mar 13, 2025

Corrections to PreimageApproximation, parameterizes SBT.
ido-shm-uel
committed

Commits on Mar 26, 2025

Remove redundant setAlpha in ReLU NLR unit tests.
ido-shm-uel
committed

Commits on Sep 17, 2025

Commits on Sep 18, 2025

Commits on Oct 16, 2025

Commits on Oct 20, 2025

Merge pull request #17 from ido-shm-uel/Preimage-Approximation-SBT-LP-FIX
ido-shm-uel
authored