A Note on Non-Composability of Layerwise Approximate Verification for Neural Inference
arXiv:2602.15756v1 Announce Type: new Abstract: A natural and informal approach to verifiable (or zero-knowledge) ML inference over floating-point data is: ``prove that each layer was...