# TOOL LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction

> Research article (Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024) · cited 14× · AI/ML

**Wikidata**: [openalex:W4396571418](https://www.wikidata.org/wiki/openalex:W4396571418)  
**Source**: https://4ort.xyz/entity/tool-lyznet-a-lightweight-python-tool-for-learning-and-verifying-neural-lyapunov-functions-and-regions-of-attraction