AbstractNN

Getting Started

  • Overview
    • What is AbstractNN?
    • Key Features
      • Sound Verification
      • Affine Expression Tracking
      • Supported Operations
    • Architecture
    • Core Components
    • Use Cases
      • Adversarial Robustness Verification
      • Certified Defense Evaluation
      • Safety-Critical Systems
    • Comparison with Other Methods
      • Precision vs Soundness Tradeoff
      • Supported Architectures
    • Next Steps
  • Quick Start Guide
    • Basic Verification
      • Simple MNIST Example
      • VGG16 Partial Verification
    • Soundness Checking
      • Verify Your Bounds
    • Common Workflows
      • Robustness Verification
      • Certified Accuracy
    • Configuration Tips
      • Performance Tuning
    • Next Steps
    • Common Issues
    • Need Help?

User Guide

  • Command Line Interface
    • Overview
    • abstractnn-verify
      • Synopsis
      • Description
      • Options
      • Examples
      • Output Format
      • Exit Codes
    • abstractnn-eval
      • Synopsis
      • Description
      • Options
      • Examples
      • Output Format
      • Activation Relaxation
    • abstractnn-info
      • Synopsis
      • Description
      • Example Output
    • Common Workflows
      • Workflow 1: Quick Soundness Check
      • Workflow 2: Formal Evaluation Pipeline
      • Workflow 3: Batch Processing
    • Troubleshooting
      • Common Issues
      • Performance Tips
    • See Also

API Reference

  • API Reference
    • Core Modules
      • Affine Engine
        • AffineExpression
        • AffineExpressionEngine
        • AffineExpression
        • AffineExpressionEngine
        • Examples
      • Bound Propagator
        • BoundPropagator
        • BoundPropagator
        • Layer Handlers
        • Usage Examples
    • Module Overview
      • abstractnn.affine_engine
        • AffineExpression
        • AffineExpressionEngine
      • abstractnn.bound_propagator
        • BoundPropagator
      • abstractnn.relaxer
        • NonLinearRelaxer
      • abstractnn.onnx_parser
        • ONNXParser
      • abstractnn.partial_evaluator
        • Évaluateur partiel pour sous-réseaux
        • PartialNetworkEvaluator
        • ONNXPartialEvaluator
        • verify_partial_soundness()
        • quick_soundness_check()
      • abstractnn.soundness_checker
        • SoundnessChecker
        • monte_carlo_robustness_test()
  • Affine Engine
    • AffineExpression
      • AffineExpression.__init__()
      • AffineExpression.get_bounds()
      • AffineExpression.__add__()
      • AffineExpression.__mul__()
    • AffineExpressionEngine
      • AffineExpressionEngine.create_input_expressions()
      • AffineExpressionEngine.linear_layer()
      • AffineExpressionEngine.conv2d_layer()
      • AffineExpressionEngine.maxpool2d_layer()
      • AffineExpressionEngine.avgpool2d_layer()
    • AffineExpression
      • AffineExpression
        • AffineExpression.constant
        • AffineExpression.coefficients
        • AffineExpression.bounds
        • AffineExpression.get_bounds()
        • AffineExpression.__init__()
        • AffineExpression.get_bounds()
        • AffineExpression.__add__()
        • AffineExpression.__mul__()
    • AffineExpressionEngine
      • AffineExpressionEngine
        • AffineExpressionEngine.create_input_expressions()
        • AffineExpressionEngine.conv2d_layer()
        • AffineExpressionEngine.linear_layer()
        • AffineExpressionEngine.create_input_expressions()
        • AffineExpressionEngine.linear_layer()
        • AffineExpressionEngine.conv2d_layer()
        • AffineExpressionEngine.maxpool2d_layer()
        • AffineExpressionEngine.avgpool2d_layer()
    • Examples
      • Basic Usage
      • Convolution Example
  • Bound Propagator
    • BoundPropagator
      • BoundPropagator.__init__()
      • BoundPropagator.propagate()
      • BoundPropagator.get_report()
    • BoundPropagator
      • BoundPropagator
        • BoundPropagator.propagate()
        • BoundPropagator._propagate_layer()
        • BoundPropagator.__init__()
        • BoundPropagator.propagate()
        • BoundPropagator.get_report()
    • Layer Handlers
      • Conv2d Handler
      • ReLU Handler
      • MaxPool Handler
    • Usage Examples
      • Basic Propagation
      • With Checkpointing
      • Layer-by-Layer Analysis
AbstractNN
  • Python Module Index

Python Module Index

a
 
a
- abstractnn
    abstractnn.affine_engine
    abstractnn.bound_propagator
    abstractnn.onnx_parser
    abstractnn.partial_evaluator
    abstractnn.relaxer
    abstractnn.soundness_checker

© Copyright 2025, flyworthy.ai LAB.

Built with Sphinx using a theme provided by Read the Docs.