Tried to Use Ai2 with HPolytopes and Encountered Errors
chelseas opened this issue · 0 comments
Tried to use Ai2 with Hpolytopes that are truly HPolytopes and not halfspaces (the test in sanity_old is halfspaces at least) and encountered the following error:
ERROR: MethodError: no method matching meet(::VPolytope{Float64}, ::Int64, ::Bool)
Closest candidates are:
meet(::VPolytope, ::Bool) at /Users/Chelsea/.julia/packages/NeuralVerification/hFQ70/src/reachability/ai2.jl:61
Stacktrace:
[1] transform(::NeuralVerification.ReLU, ::VPolytope{Float64}) at /Users/Chelsea/.julia/packages/NeuralVerification/hFQ70/src/reachability/ai2.jl:44
[2] forward_layer(::Ai2, ::NeuralVerification.Layer, ::HPolytope{Float64}) at /Users/Chelsea/.julia/packages/NeuralVerification/hFQ70/src/reachability/ai2.jl:37
[3] forward_network at /Users/Chelsea/.julia/packages/NeuralVerification/hFQ70/src/reachability/utils/reachability.jl:9 [inlined]
[4] solve(::Ai2, ::Problem{HPolytope{Float64},HPolytope{Float64}}) at /Users/Chelsea/.julia/packages/NeuralVerification/hFQ70/src/reachability/ai2.jl:28
[5] ai2_test(::HPolytope{Float64}, ::HPolytope{Float64}, ::Network) at ./util.jl:156
[6] top-level scope at none:0