Skip to content
/ NeuralOptimization.jl Public

A compilation of ReLU network optimization algorithms. Given some constraints on the input or output set, we'd like to optimize a linear function of ReLU outputs. Different algorithms can handle different types of restrictions on their input and output sets, as well as different optimization queries.

3 stars 2 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

castrong/NeuralOptimization.jl

BranchesTags

Repository files navigation

NeuralOptimization.jl

Welcome to NeuralOptimization.jl! The goal of this is to provide a common API to interact with many different neural optimization algorithms. It is inspired by [NeuralVerification.jl] (https://github.com/sisl/NeuralVerification.jl).

It will allow access to the following approximate algorithms for generating adversarial examples:

About

A compilation of ReLU network optimization algorithms. Given some constraints on the input or output set, we'd like to optimize a linear function of ReLU outputs. Different algorithms can handle different types of restrictions on their input and output sets, as well as different optimization queries.

Resources

Readme
Activity

Stars

3 stars

Watchers

2 watching

Forks

2 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages