Getting Started
User Guide
API Reference
AffineExpression
AffineExpressionEngine
BoundPropagator
NonLinearRelaxer
ONNXParser
PartialNetworkEvaluator
ONNXPartialEvaluator
verify_partial_soundness()
quick_soundness_check()
SoundnessChecker
monte_carlo_robustness_test()
AffineExpression.__init__()
AffineExpression.get_bounds()
AffineExpression.__add__()
AffineExpression.__mul__()
AffineExpressionEngine.create_input_expressions()
AffineExpressionEngine.linear_layer()
AffineExpressionEngine.conv2d_layer()
AffineExpressionEngine.maxpool2d_layer()
AffineExpressionEngine.avgpool2d_layer()
AffineExpression.constant
AffineExpression.coefficients
AffineExpression.bounds
BoundPropagator.__init__()
BoundPropagator.propagate()
BoundPropagator.get_report()
BoundPropagator._propagate_layer()
Parser pour modèles ONNX
Classes
ONNXParser(model_path)
Parse et extrait les opérations d'un modèle ONNX
Parse et extrait les opérations d’un modèle ONNX
Parse le graphe ONNX et extrait les couches
Retourne la forme de l’entrée du modèle
Retourne les noms des sorties