NeuralNetworkVerification/Marabou

Issues

• Spurious counterexamples

  #844 opened 2 months ago by samysweb
  0

• exitCode "Not_DONE"

  #842 opened 2 months ago by YourSaDady
  0

• Input normalization

  #840 opened 2 months ago by ZuhraAndleeb
  1

• Universal quantifier support in properties

  #839 opened 2 months ago by ZuhraAndleeb
  2

• Softmax formulation

  #841 opened 2 months ago by mmaaz-git
  0

• Turning off preprocessing to generate proof tree in all UNSAT queries

  #836 opened 2 months ago by aditi-goyal-257
  0

• MIP as the input query

  #835 opened 2 months ago by mhmd97z
  0

• problems with GE and LE on one variable

  #823 opened 3 months ago by yizhake
  1

• Upgrade Gurobi version to 11

  #788 opened 3 months ago by wu-haoze
  0

• Test suite has started SEGFAULTING locally

  #784 opened 8 months ago by MatthewDaggitt
  12

• different result for same query with and without --prove-unsat flag

  #830 opened 3 months ago by yizhake
  0

• Three Maraboupy errors for the examples

  #762 opened 9 months ago by jinqiang-yu
  6

• Marabou with Gurobi enabled and the Slurm manager

  #824 opened 4 months ago by Dorin-D
  2

• Wrong verification result for local robustness of MNIST network

  #825 opened 4 months ago by Aaron99B
  0

• MarabouPythonic and Gurobi

  #822 opened 5 months ago by AWbosman
  1

• Pyhtonic API multiple constraints lead to replacement

  #819 opened 5 months ago by AWbosman
  3

• GRBException

  #817 opened 5 months ago by ggustavs
  4

• TypeError: setLowerBound(): incompatible function arguments

  #816 opened 5 months ago by chenyi10
  1

• NameError: name 'MarabouNetworkONNX' is not defined.

  #815 opened 5 months ago by YourSaDady
  1

• Satisfying assignments for UNSAT query (with PGD attack)

  #820 opened 5 months ago by rdesmartin
  1

• Got 'ERROR' as solve() result

  #818 opened 5 months ago by YourSaDady
  1

• upper bound disappears

  #813 opened 6 months ago by davideklund
  2

• Issue with `network.solve()` method in Marabou

  #802 opened 6 months ago by Vafali
  13

• return all input-output pairs that satisfy the given range

  #793 opened 7 months ago by chenyi10
  7

• Failing 5 tests when building with Gurobi optimizer

  #803 opened 6 months ago by ggustavs
  3

• Error during build: 'onnx' does not name a type

  #806 opened 6 months ago by Kurayuri
  2

• Segmentation fault (core dumped)

  #790 opened 7 months ago by Gizzbow
  7

• Changes made in MarabouCore not getting reflected after Build

  #805 opened 7 months ago by phoenixbirdashes
  2

• Conditional input in verification property

  #785 opened 7 months ago by AWbosman
  4

• Generic CLI option for passing flags to external programs

  #804 opened 7 months ago by wenkokke
  1

• Error during Marabou build

  #801 opened 7 months ago by phoenixbirdashes
  7

• Add file patterns to CI

  #800 opened 8 months ago by wenkokke
  0

• Dozens of similar queries result in Marabou getting stuck

  #783 opened 8 months ago by SuryaB1
  7

• Unify currently fragmented documentation

  #763 opened 9 months ago by MatthewDaggitt
  0

• "cannot find reference 'MarabouCore' in '__init__.py'" after cmake MacOS12.5 python>3.8

  #761 opened 8 months ago by INPUTrrr0
  7

• C++ ONNX parser performance issues

  #754 opened 9 months ago by MatthewDaggitt
  18

• Failed Marabou Queries throwing Unknown 'error' instead of 'sat'/'unsat'

  #772 opened 9 months ago by paulsushmita
  9

• Installation of Gurobi failed due to version mismatch

  #777 opened 8 months ago by paulsushmita
  4

• Feature: Support pairwise multiplication in mul nodes

  #751 opened 9 months ago by YalcinerMustafa
  3

• Assertion Violation in ReluConstraint::getPossibleFixes()

  #781 opened 8 months ago by OmriIsacHUJI
  0

• Statistics Update Verbosity

  #780 opened 8 months ago by SuryaB1
  2

• Deprecated Tensorflow example in maraboupy tutorial

  #775 opened 8 months ago by yizhake
  1

• collins_rul_cnn benchmark: Operation Dropout not implemented

  #773 opened 9 months ago by hatoruday
  2

• Upgrade to using C++17

  #766 opened 9 months ago by MatthewDaggitt
  2

• extract marabou adversarial query after converting from onnx to MarabouNetwork fails

  #771 opened 9 months ago by yizhake
  1

• Bug in Python ONNX parser for `Split` node

  #758 opened 9 months ago by MatthewDaggitt
  3

• Compilation error with unsqueeze function

  #755 opened 9 months ago by wu-haoze
  2

• C++ ONNX parser crashes on a sigmoid network

  #744 opened 9 months ago by wu-haoze
  2

• Bounds inherent in certain constraints should be added in `NetworkParser` not `OnnxParser`

  #740 opened 9 months ago by MatthewDaggitt
  0

• Python ONNX parser for leaky relu messes up alpha attribute

  #739 opened 9 months ago by MatthewDaggitt
  1