Title: Can Perceptrons find Lyapunov functions?