Skip to content
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

Cleaning examples folder #289

Merged
merged 1 commit into from
Jun 16, 2020

Conversation

kjulian3
Copy link
Collaborator

This pr updates the examples folder and removes outdated files.

In addition, this pr makes the ONNX and tensorflow parsers consistent in that the output variables preserves the batch_size dimension. Often, ONNX/tensorflow networks have an extra first dimension that represents the batch size, or number of input points to be evaluated. The tensorflow parser removes that extra dimension, but that causes the output shape to differ from ONNX. I think it's safest to just keep the extra dimension and let users handle it as needed.

@kjulian3 kjulian3 requested a review from wu-haoze June 15, 2020 19:21
@kjulian3
Copy link
Collaborator Author

Also, I'm confused why debug.ipynb is in the examples folder. @GuyKatzHuji, do you know why that file is present?

@kjulian3 kjulian3 merged commit f23de5c into NeuralNetworkVerification:master Jun 16, 2020
AleksandarZeljic pushed a commit to AleksandarZeljic/Marabou that referenced this pull request Oct 9, 2020
matanost pushed a commit that referenced this pull request Nov 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants