Does CSP publish the formulas or scoring logic behind AIAS?

Direct answer

No. CSP can publicly explain AIAS concepts, definitions, and architecture without disclosing proprietary implementation methods, weighting systems, thresholds, formulas, scoring logic, diagnostic procedures, audit methods, or other controlled intellectual property.