TY - RPRT TI - A constrained symbolic regression approach for Lyapunov function discovery AU - Ilias Mitrai AU - Wentao Tang PY - 2026 UR - https://arxiv.org/abs/2606.10045 ID - 2606.10045 ER -