Yiming Meng

Identifiers

No identifiers captured yet.

Papers (1)

1. Towards Learning and Verifying Maximal Neural Lyapunov Functions math.OC · 2023 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Jun Liu 1 shared papers
• Maxwell Fitzsimmons 1 shared papers
• Ruikun Zhou 1 shared papers