A novel tool for learning and verifying neural Lyapunov functions and regions of attraction was presented.

The tool paper 'TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction' was presented at the 27th `ACM International Conference on Hybrid Systems: Computation and Control (HSCC)` in Hong Kong and gained significant attention. What distinguishes the tool from others in the literature is its ability to provide verified regions of attraction close to the domain of attraction. Many thanks to all the authors for their hard work and dedication!