@misc{indiciae6b651576d5ee,
  title = {Toward a Systematic Understanding and Interactive Search of Lyapunov-Style Proofs in Optimization},
  author = {TaeHo Yoon and Jaewook J. Suh and Edward Duc Hien Nguyen and Bicheng Ying and Shiqian Ma},
  year = {2026},
  url = {https://arxiv.org/abs/2606.26077},
  note = {Source identifier: 2606.26077}
}