You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I tried to use an abstract interpretation based verifier to over-approximate and analyze your network FFDNet.
But the network contains 175,616 neurons, 15 layers to denoise even mnist image.
The verifier can't scale up to handle this large and deep network.
Even though I don't think it is possible, but still want to check if you have a smaller size network?
Thanks!
The text was updated successfully, but these errors were encountered:
Hi,
I tried to use an abstract interpretation based verifier to over-approximate and analyze your network FFDNet.
But the network contains 175,616 neurons, 15 layers to denoise even mnist image.
The verifier can't scale up to handle this large and deep network.
Even though I don't think it is possible, but still want to check if you have a smaller size network?
Thanks!
The text was updated successfully, but these errors were encountered: