Search results

Unsupported Clip Operator for onnx files

Status: Open.

#893 In NeuralNetworkVerification/Marabou;

· zstone1 opened on Dec 3, 2025

How to use the version that used to attend VNN-COMP 2024?

Status: Open.

#885 In NeuralNetworkVerification/Marabou;

· ytsao opened on Jul 11, 2025

Onnx operation Div not currectly supported by Marabou.

Status: Open.

#884 In NeuralNetworkVerification/Marabou;

· ytsao opened on Jul 3, 2025

[Bug report] SAT value assignment where inputs do not respect the bounds

Status: Open.

#883 In NeuralNetworkVerification/Marabou;

· paulsushmita opened on Jul 3, 2025

Inconsistency between Marabou and maraboupy on ACAS property phi10

Status: Open.

#882 In NeuralNetworkVerification/Marabou;

· GirardR1006 opened on Jun 12, 2025

Invalid SAT Witness (with Colab Reproduction)

Status: Open.

#880 In NeuralNetworkVerification/Marabou;

· YalcinerMustafa opened on May 27, 2025

Collection of Bug Reports and Potential Fixes - Request for Support

Status: Open.

#879 In NeuralNetworkVerification/Marabou;

· YalcinerMustafa opened on Apr 27, 2025

Error: incompatible constructor arguments in Disjunction Constraint Example

Status: Open.

#878 In NeuralNetworkVerification/Marabou;

· slutz14 opened on Apr 22, 2025

Disabling Query Optimization in MarabouCore to Preserve Intermediate Variable Bounds

Status: Open.

#877 In NeuralNetworkVerification/Marabou;

· ace-shifu opened on Apr 22, 2025

How to update output range？

Status: Open.

#876 In NeuralNetworkVerification/Marabou;

· ytsao opened on Apr 15, 2025

Incorrect SAT witness in disjunction query

Status: Open.

#873 In NeuralNetworkVerification/Marabou;

· Zinoex opened on Apr 3, 2025

Command-line interface fails reading ONNX

Status: Open.

#870 In NeuralNetworkVerification/Marabou;

· sdemarch opened on Mar 11, 2025