Skip to content

Fix Verisig unsoundness with tanh #8

Open
Open
Fix Verisig unsoundness with tanh#8
Labels
bug 🐛Something isn't working
@schillic

Description

@schillic
schillic
opened on Dec 25, 2023

See the example in the tests:

NeuralNetworkReachability.jl/test/ForwardAlgorithms/forward.jl

Line 307 in 4f425ba

@test_broken Y_exact ⊆ overapproximate(Y, Zonotope)

Metadata

Metadata

Assignees

No one assigned

    Labels

    bug 🐛Something isn't working

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions