Hybrid-Zonotope Reachability Loss for Neural Closed Loops — 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_report.json — 4.2 KB
• reachability_mvp.py — 6.1 KB
• report.md — 1.5 KB
• report_bench_2026-09-01T190708.md — 6.0 KB
• results.json — 4.1 KB
• stage2_bench.py — 6.7 KB

⬇ Download complete ZIP