Sound active-neuron pruning for SDP verification / reference implementation
Mechanism confirmed, baseline not beaten
Sound active-neuron pruning for SDP verification — 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— 3.4 KBmini_experiment.py— 3.3 KBpruning_mvp.py— 4.6 KBreport.md— 1.8 KBreport_bench_2026-09-04T114047.md— 5.5 KBresults.json— 1.2 KBstage2_bench.py— 5.1 KB