NeuralLyapunov.jl v0.0.1
This is the initial public version of NeuralLyapunov.jl, a library for searching for neural Lyapunov functions by setting up a NeuralPDE.jl PDESystem.
This is the initial public version of NeuralLyapunov.jl, a library for searching for neural Lyapunov functions by setting up a NeuralPDE.jl PDESystem.