VeriNet icon indicating copy to clipboard operation
VeriNet copied to clipboard

verified publisher icon vas-group-imperial
→

Metadata

The VeriNet toolkit for verification of neural networks

Results 2 VeriNet issues
Sort by recently updated
recently updated
newest added

Issues with VeriNet when handling ONNX model outputs

Dear VeriNet Team, I hope this message finds you well. I am currently using VeriNet to analyze an ONNX model that I have converted from a PyTorch model. The model...

Vafali avatar Vafali

Onnx Gather format supported?

5 comment

Hi, We have recently tried to use VeriNet to run some certifications on NN. But encountered a problem when it failed to identify nodes with Op_type: Gather (the nodes are...

Dovermore avatar Dovermore

← Metadata

17
Stars
10
Forks
Watchers

Owner

verified publisher icon vas-group-imperial

Metadata

The VeriNet toolkit for verification of neural networks

Back