ONNX

Format to represent machine learning models. ONNX: Open Neural Network Exchange Project page: https://onnx.ai/ Repository: https://github.com/onnx/onnx Repository with a collection of pre-trained models in ONNX format: https://github.com/onnx/models
Specification format

ProVerB specific



ProVerB is a part of SLEBoK. Last updated: February 2023.