ai formalization