Anchored Neural Lyapunov Certificate — reference implementation

Runnable experiment code, benchmark implementation, machine-readable results and reports for this SynthCore idea.

Language: Python · Runtime: Python 3 · License: MIT

Public artifacts

• bench_anchored_lyapunov.py — 5.9 KB
• bench_report.json — 4.3 KB
• experiment.py — 5.7 KB
• report.md — 1.7 KB
• report_bench_2026-09-01T122618.md — 4.8 KB
• results.json — 5.3 KB

⬇ Download complete ZIP