LLM Verification on Backbone-SAE pairs (Qwen3-1.7B, Gemma-2-2B, Gemma-2-9B)
0OverheadSVIP
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| SVIPPrimitive=hidden-state probe2026.04 | 0 | — | — | — | |
| SAE-feature tracePrimitive=SAE-feature trace2026.04 | 2.1 | — | — | — | |
| TOPLOCPrimitive=LSH (integrity)2026.04 | 8 | — | — | — | |
| CP-SNARKPrimitive=proof of exec.2026.04 | 10 | — | — | — |