affiliation not provided to SSRN
Verifiable Inference, Transformer Architecture, Modular Verification, Neural Network Verification, trustworthy AI