search

NeVerTools / pyNeVer

A Python library for learning and verification of neural networks and other machine learning models
Other
9 stars 3 forks source link

MaxPool ONNX conversion error #4

Closed sdemarch closed 2 years ago

sdemarch commented 2 years ago

The ONNX "MaxPool" node in the attached VNNCOMP21 network parameters are not the expected in conversion.py at lines 741-745. Is it a problem of the network or the conversion algorithm should improve the reading?

Convnet_maxpool.zip

darioguidotti commented 2 years ago

Implicit onnx attribute were unsupported, fixed.