GitHub repository: mcx/neural-network-lyapunov
Primary language: Python
Description: Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.