/DPNeurifyFV.jl

Verification of neural networks based on input splitting and forward propagation of symbolic intervals with fresh variables.

Primary LanguageJulia

Stargazers