NeuralNetworkVerification/Marabou

Issues

• Python ONNX parser for leaky relu messes up alpha attribute

  #739 opened a year ago
  1

• Assertion violation error when using MILP with --milp-tightening=milp in Debug mode

  #730 opened a year ago
  0

• Error during static Marabou build

  #729 opened a year ago
  2

• C++/Python ONNX parser discrepancy: layer_zoo/maxpool.onnx

  #728 opened a year ago
  1

• Unifying C++ and Python ONNX parsers

  #727 opened a year ago
  8

• Using Convolutional Layer leads to 'std::out_of_range' with onnx input

  #723 opened a year ago
  13

• Upgrade CMake to 3.16+

  #722 opened a year ago
  2

• Test error and 'maraboupy.MarabouCore' error

  #721 opened a year ago
  6

• MarabouUtils.Equation and MarabouCore.Equation

  #717 opened a year ago
  0

• Marabou outputs error messages on `stdout` rather than `stderr`

  #714 opened a year ago
  1

• Compilation failure on Linux

  #702 opened a year ago
  2

• MarabouError while using dijunction containing input constraints

  #700 opened a year ago
  0

• Change the implementation of disjunction constraints in maraboupy to be compatible with MarabouUtils.Equation instead of MarabouCore.Equation

  #699 opened a year ago
  0

• Global robustness potential bug

  #693 opened a year ago
  2

• Marabou.read_onnx fails due to NameError: name 'MarabouNetworkONNX' is not defined

  #690 opened a year ago
  3

• Questions about ACASXU ONNX and INPUT BATCH SIZE

  #688 opened a year ago
  1

• Trouble Installing Marabou/Maraboupy

  #687 opened a year ago
  1

• Failed Queries when performing Property Inference

  #686 opened a year ago
  1

• Error in use of onnxruntime

  #685 opened a year ago
  3

• cmake --build . error: older version of protoc

  #681 opened a year ago
  5

• Error with MarabouCore.Equation

  #680 opened a year ago
  2

• Could you show me examples about reachability queries?

  #678 opened a year ago
  2

• Bug: Using minimal bound properties in query results in UNSAT for SAT query with Python API

  #674 opened a year ago
  1

• AssertionError: assert v < self.numVars

  #671 opened a year ago
  6

• Constant inputs, no output constraints - Marabou returns `unsat`

  #670 opened a year ago
  11

• BUG: Unsat result for simple SAT query via MarabouCore Python interface

  #669 opened a year ago
  3

• Runner for Ubuntu runs out of disk space

  #667 opened a year ago
  1

• Drastic runtime differences for MarabouNetwork.solve() with minor query changes

  #666 opened a year ago
  5

• Marabou.read_onnx() seems to not recognize outputVars properly

  #664 opened a year ago
  3

• Failed unit test within Docker image

  #662 opened 4 months ago
  2

• Configure git to treat onnx files as binary data

  #661 opened a year ago
  0

• "Error duplicating standard output" when passing filename to MarabouNetwork.solve()

  #660 opened 9 months ago
  2

• MarabouNetwork.solve() does not terminate with specific bound properties

  #659 opened a year ago
  2

• Support for defining properties of satisfying values returned by Marabou.solve()

  #658 opened a year ago
  1

• Installation via pip doesn't work for Windows

  #657 opened a year ago
  3

• KeyError: '/Constant_output_0'

  #655 opened 10 months ago
  2

• TypeError with MarabouNetwork.addDisjunctionConstraint()

  #652 opened a year ago
  3

• Non-deterministic regression test failure

  #641 opened 2 years ago
  1

• Build fails on M1 macOS

  #639 opened 2 years ago
  1

• Segfault when solving for network with single sigmoid layer

  #638 opened a year ago
  0

• Minor bug in Python/C++ parsing of ONNX networks with constant outputs

  #637 opened 2 years ago
  0

• Possible Discussions Tab?

  #632 opened a year ago
  1

• Introduce much more rigorous checking of ONNX attributes when parsing networks

  #629 opened 2 years ago
  0

• Official releases with semantic versioning

  #626 opened a year ago
  1

• Property parser doesn't parse non-simplified bound

  #625 opened 2 years ago
  0

• Call to Engine::applyBoundTightenings() may have no effect.

  #624 opened a year ago
  3

• InfeasibleQueryException results in invalid split stack

  #623 opened a year ago
  1

• Why are the 4 properties of ACAS xu in marabou different from the 10 properties in ReLuplex? Are their properties universal to ACAS Xu?

  #622 opened a year ago
  1

• Violated Assertion in ReluConstraint::getPossibleFixes()

  #621 opened a year ago
  1

• Ill-formed Tableau Assignment After Precision Restoration.

  #620 opened a year ago
  1