@misc{indiciae3d131bec9da1,
  title = {Towards Learning and Verifying Maximal Neural Lyapunov Functions},
  author = {Jun Liu and Yiming Meng and Maxwell Fitzsimmons and Ruikun Zhou},
  year = {2023},
  doi = {10.1109/cdc49753.2023.10383299},
  url = {https://arxiv.org/abs/2304.07215},
  note = {Source identifier: 2304.07215}
}