title	filename
Home	index.md

Gogeta.jl blog

This page shows experiments done with the Gogeta.jl package and small research articles related to it.

Relaxing walk - limiting the number of samples

Neural network initialization - why randomness might mislead

Neural network robustness verification

Relaxing walk for adversarial attacks and future directions for research