NISP
NISP is a 5-layer neuro-symbolic pipeline that reads a foundation model's predicted brain response to autonomous systems videos and produces a formally certified anomaly verdict: slow enough for a Lean 4 proof, fast enou
Core trick
Feeds a foundation model's predicted brain response to driving video into a symbolic layer that emits a Lean 4-checked anomaly verdict.
Description
NISP is a 5-layer neuro-symbolic pipeline that reads a foundation model's predicted brain response to autonomous systems videos and produces a formally certified anomaly verdict: slow enough for a Lean 4 proof, fast enough for real-time alerting.
The linked repo returns 404, so it was deleted or made private.