Functions can have pre/postconditions specifying assumptions and legal ranges for inputs. What's the equivalent for pretrained ML models?
https://gradio.app/blog/missing-contracts
miniblog.
Related Posts
The assumptions C/C++ compilers make, and an argument in favour of giving the compiler more flexibility regarding struct layout and padding.
(I believe Rust gives the compiler more freedom for structs that don't cross an FFI boundary.) https://twitter.com/shafikyaghmour/status/991370524008759296
Fascinating post on future developments of Internet protocols and preventing implementations from making assumptions that prevent future changes:
