Preview: Convergence: Engineering Trustworthy Intelligence Through Formal Methods | FastRead