Reachability-Certified STL Neural ODE Training / reference implementation
Failed on benchmark
Reachability-Certified STL Neural ODE Training — 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— 5.9 KBreachability_stl_experiment.py— 5.2 KBreport.md— 1.8 KBreport_bench_2026-08-30T151853.md— 5.3 KBresults.json— 2.9 KBstage2_bench.py— 6.9 KB