Hani Khan retweetledi

2/2
Why "Targeted" Verification? @inference_labs
In many real-world AI apps, u don't need a cryptographic proof for every neuron. U might only need to prove:
. The final decision logic
. Safety-critical layers
. Proprietary weights
English






