Machine-checks every fixed model artefact—weights, vocab, quant tables, tokenizers.
pythonrustweightsformal-verificationsupply-chain-securitylean4ml-securitymodel-integritymodel-securityruntime-guardsmodel-artifactscheckpoint-validation
-
Updated
Aug 5, 2026 - Rust