TY  - RPRT
TI  - Toward a Systematic Understanding and Interactive Search of Lyapunov-Style Proofs in Optimization
AU  - TaeHo Yoon
AU  - Jaewook J. Suh
AU  - Edward Duc Hien Nguyen
AU  - Bicheng Ying
AU  - Shiqian Ma
PY  - 2026
UR  - https://arxiv.org/abs/2606.26077
ID  - 2606.26077
ER  -