ModelVerification.jl logo
ModelVerification.jl
  • ModelVerification.jl
  • Toolbox Outline
    • Flow
      • Problem Outline
      • Network
      • Input-Output Specification
    • Branching
    • Propagation
    • Solvers
    • Attacks
    • Helper Functions
      • Flux-to-Network, Network-to-Flux
  • Python Interface
    • NNet Converter
    • Python Interface
  • Existing Implementations
  • About
Version
  • Toolbox Outline
  • Helper Functions
  • Helper Functions
GitHub

Helper Functions

Flux-to-Network, Network-to-Flux

ModelVerification.network — Method
network(c::Chain)

Converts Flux.Chain to a Network.

source
Flux.Chain — Method
Flux.Chain(m::Network)

Converts Network to a Flux.Chain.

source
« AttacksNNet Converter »

Powered by Documenter.jl and the Julia Programming Language.

Settings


This document was generated with Documenter.jl version 1.1.2 on Friday 16 August 2024. Using Julia version 1.9.3.