Issues: NeuralNetworkVerification/Marabou
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Failed Marabou Queries throwing Unknown 'error' instead of 'sat'/'unsat'
#772
opened Mar 1, 2024 by
paulsushmita
Feature: Support pairwise multiplication in mul nodes
feature
#751
opened Feb 14, 2024 by
YalcinerMustafa
C++/Python ONNX parser discrepancy: layer_zoo/maxpool.onnx
bug
python
Pull requests that update Python code
#728
opened Feb 11, 2024 by
MatthewDaggitt
Using Convolutional Layer leads to 'std::out_of_range' with onnx input
#723
opened Feb 9, 2024 by
progirep
Constant inputs, no output constraints - Marabou returns
unsat
bug
#670
opened Aug 29, 2023 by
MatthewDaggitt
Minor bug in Python/C++ parsing of ONNX networks with constant outputs
#637
opened May 12, 2023 by
MatthewDaggitt
Introduce much more rigorous checking of ONNX attributes when parsing networks
feature
#629
opened Apr 3, 2023 by
MatthewDaggitt
Property parser doesn't parse non-simplified bound
feature
#625
opened Mar 24, 2023 by
MatthewDaggitt
Proposal: extend property format + parser to handle multiple networks
feature
#598
opened Oct 24, 2022 by
MatthewDaggitt
ProTip!
Follow long discussions with comments:>50.