ZonoGPT: Towards An Abstract Domain for Verifying Large GPT Models
DGX agentarXiv:2609.34457v1 Announce Type: new Abstract: Transformer-based models are widely used for reasoning, coding, and multimodal agentic tasks. To provide formal assurance of desirable behaviors, such a