🔗 Who cites «Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers»

6 papers of our library cite it (of the 149,439 whose bibliographies we read) · 2 with a page here, the most cited first · ← back to «Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers»

1. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
2. Mathematical exploration and discovery at scalearXiv:2511.02864Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, et al.2025 · 16 citations

4 more papers of our library cite it; they have no page here yet.

This page in Markdown → https://md.research.elamur.ai/free/en/papers/alfarano-2024-global-lyapunov-functions-long-standing/cited-by/