SOSA-MVU: Formal Validation Layer for Deterministic Output Control in LLM Systems
Michele Bottino
Abstract
This work formalizes the MVU (Minimal Verification Unit) validation layer within the SOSA framework. It defines a deterministic validation mechanism for controlling output generation in Large Language Models through segmentation, constraint enforcement, and iterative correction.
Topics & Concepts
Computer scienceLayer (electronics)Constraint (computer-aided design)Work (physics)Set (abstract data type)Model validationAlgorithmCalibrationMeasure (data warehouse)Control theory (sociology)Iterative methodFormal verificationControl (management)Mathematical optimizationScheme (mathematics)Control systemFormal methodsMechanism (biology)Estimation theoryConstraint satisfactionData modelingKey (lock)Model-Driven Software Engineering TechniquesNatural Language Processing TechniquesFormal Methods in Verification