The AI Operating System: Formal Invariants and Execution Guarantees for Bounded Non-Deterministic Computation (ARS-1.0)
Year: 2026
Type: article
Abstract: A formal systems engineering framework that redefines the LLM as an untrusted probabilistic coprocessor bounded by a strictly deterministic control plane, addressing gaps in enterprise AI such as auditability, scale, and trust
Author: TESSEMA, ANTENEH
Language: English
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7166445317
FWCI:
Cites:
Cited by:
Related to: