Things left to do Implement the HNN example using Knet. Implement Lagrangian Neural Networks. Generalize the symplectic matrix to arbitrary dimensions (instead of [0 1; -1 0]).