arXiv cs.AI / cs.LG / cs.CL·2d agoRequirement-Bound Verified Commissioning: A Frozen Four-Billion-Parameter Local Model as a Candidate Generator under an External Acceptance Layer with Verification and Release Authority#verification#language-model#commissioningAI research