search

vehicle-lang / vehicle

A toolkit for enforcing logical specifications on neural networks
https://vehicle-lang.readthedocs.io/
Other
81 stars 7 forks source link

Specifications with constant inputs falsely return `unsat` #714

Open MatthewDaggitt opened 1 year ago

MatthewDaggitt commented 1 year ago

This is an upstream bug with Marabou unfortunately (https://github.com/NeuralNetworkVerification/Marabou/issues/670)